[next] [prev] [prev-tail] [tail] [up]

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA and IntegrateAlgebraic to I.A.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

72 72 53 53 77 53 223 78 58 62

N.S.

1 1.00 0.74 0.74 1.07 0.74 3.10 1.08 0.81 0.86

time (sec)

N/A 0.033 0.157 0.060 0.923 0.405 11.050 0.157 4.715 0.038

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

161 161 155 194 237 192 644 237 149 229

N.S.

1 1.00 0.96 1.20 1.47 1.19 4.00 1.47 0.93 1.42

time (sec)

N/A 0.105 0.292 0.048 0.900 0.412 85.150 0.167 4.762 0.085

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A F(-1) B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

274 274 294 495 525 457 0 526 299 592

N.S.

1 1.00 1.07 1.81 1.92 1.67 0.00 1.92 1.09 2.16

time (sec)

N/A 0.194 1.029 0.052 0.978 0.413 0.000 0.226 0.098 0.172

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

114 114 82 91 128 90 354 129 103 107

N.S.

1 1.00 0.72 0.80 1.12 0.79 3.11 1.13 0.90 0.94

time (sec)

N/A 0.071 0.175 0.045 0.833 0.410 45.834 0.174 4.814 0.057

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

320 320 303 447 500 417 0 516 316 544

N.S.

1 1.00 0.95 1.40 1.56 1.30 0.00 1.61 0.99 1.70

time (sec)

N/A 0.244 0.565 0.047 1.002 0.415 0.000 0.200 4.698 0.163

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B A F(-1) B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

708 708 678 1417 1360 1221 0 1414 896 2128

N.S.

1 1.00 0.96 2.00 1.92 1.72 0.00 2.00 1.27 3.01

time (sec)

N/A 0.625 2.894 0.053 1.094 0.420 0.000 0.287 0.242 0.424

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

161 161 124 186 135 1931 76 141 127 0

N.S.

1 1.00 0.77 1.16 0.84 11.99 0.47 0.88 0.79 0.00

time (sec)

N/A 0.111 0.083 0.050 1.912 1.148 1.187 0.166 5.511 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

189 189 180 238 169 2088 105 174 169 0

N.S.

1 1.00 0.95 1.26 0.89 11.05 0.56 0.92 0.89 0.00

time (sec)

N/A 0.139 0.230 0.047 2.000 1.166 2.146 0.178 4.872 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

215 215 205 272 203 2215 146 194 206 0

N.S.

1 1.00 0.95 1.27 0.94 10.30 0.68 0.90 0.96 0.00

time (sec)

N/A 0.187 0.254 0.055 1.965 1.195 2.470 0.226 0.268 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

240 240 229 306 238 2308 185 218 241 0

N.S.

1 1.00 0.95 1.28 0.99 9.62 0.77 0.91 1.00 0.00

time (sec)

N/A 0.223 0.229 0.053 2.616 1.191 3.638 0.230 4.931 0.001

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

161 161 125 186 135 1961 76 132 127 0

N.S.

1 1.00 0.78 1.16 0.84 12.18 0.47 0.82 0.79 0.00

time (sec)

N/A 0.121 0.073 0.053 2.509 1.187 1.433 0.175 4.847 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

161 161 125 188 132 1905 78 115 124 0

N.S.

1 1.00 0.78 1.17 0.82 11.83 0.48 0.71 0.77 0.00

time (sec)

N/A 0.100 0.058 0.046 2.678 1.183 1.492 0.181 0.213 0.001

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

19 19 19 17 16 16 26 16 16 0

N.S.

1 1.00 1.00 0.89 0.84 0.84 1.37 0.84 0.84 0.00

time (sec)

N/A 0.015 0.007 0.045 2.485 0.397 0.370 0.189 4.699 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

19 19 19 17 16 16 26 16 16 0

N.S.

1 1.00 1.00 0.89 0.84 0.84 1.37 0.84 0.84 0.00

time (sec)

N/A 0.013 0.006 0.044 2.426 0.405 0.217 0.172 4.670 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

22 22 22 17 16 16 17 17 16 0

N.S.

1 1.00 1.00 0.77 0.73 0.73 0.77 0.77 0.73 0.00

time (sec)

N/A 0.012 0.004 0.047 2.441 0.401 0.253 0.164 0.063 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

22 22 22 19 18 18 17 19 18 0

N.S.

1 1.00 1.00 0.86 0.82 0.82 0.77 0.86 0.82 0.00

time (sec)

N/A 0.013 0.005 0.043 2.469 0.400 0.225 0.170 0.112 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

41 41 41 33 32 32 44 33 46 0

N.S.

1 1.00 1.00 0.80 0.78 0.78 1.07 0.80 1.12 0.00

time (sec)

N/A 0.027 0.009 0.050 2.433 0.405 0.468 0.147 0.140 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

29 29 31 35 34 28 54 28 28 0

N.S.

1 1.00 1.07 1.21 1.17 0.97 1.86 0.97 0.97 0.00

time (sec)

N/A 0.022 0.012 0.074 2.901 0.406 0.397 0.206 0.054 0.001

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

29 29 29 34 33 26 53 26 28 0

N.S.

1 1.00 1.00 1.17 1.14 0.90 1.83 0.90 0.97 0.00

time (sec)

N/A 0.020 0.025 0.043 2.980 0.402 0.465 0.165 0.045 0.001

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

39 39 35 195 163 107 88 48 49 0

N.S.

1 1.00 0.90 5.00 4.18 2.74 2.26 1.23 1.26 0.00

time (sec)

N/A 0.027 0.016 0.063 2.977 0.450 0.588 0.223 4.821 0.001

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

41 41 129 228 174 114 105 58 49 0

N.S.

1 1.00 3.15 5.56 4.24 2.78 2.56 1.41 1.20 0.00

time (sec)

N/A 0.043 0.066 0.058 2.950 0.454 0.854 0.214 0.231 0.001

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

118 118 90 94 159 310 26 103 98 0

N.S.

1 1.00 0.76 0.80 1.35 2.63 0.22 0.87 0.83 0.00

time (sec)

N/A 0.126 0.033 0.048 3.028 0.435 0.477 0.186 4.944 0.001

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

118 118 90 94 159 305 22 115 96 0

N.S.

1 1.00 0.76 0.80 1.35 2.58 0.19 0.97 0.81 0.00

time (sec)

N/A 0.106 0.016 0.049 2.994 0.431 0.214 0.209 5.015 0.001

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

161 161 124 186 188 1961 76 147 127 0

N.S.

1 1.00 0.77 1.16 1.17 12.18 0.47 0.91 0.79 0.00

time (sec)

N/A 0.166 0.047 0.045 2.958 1.180 1.282 0.198 4.923 0.001

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

134 134 122 108 145 1043 75 110 158 0

N.S.

1 1.00 0.91 0.81 1.08 7.78 0.56 0.82 1.18 0.00

time (sec)

N/A 0.113 0.026 0.049 2.924 1.206 0.713 0.176 0.189 0.001

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

134 134 123 111 144 1267 70 95 178 0

N.S.

1 1.00 0.92 0.83 1.07 9.46 0.52 0.71 1.33 0.00

time (sec)

N/A 0.089 0.039 0.045 3.045 1.188 0.590 0.173 5.009 0.001

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

37 37 72 43 42 36 60 37 84 0

N.S.

1 1.00 1.95 1.16 1.14 0.97 1.62 1.00 2.27 0.00

time (sec)

N/A 0.058 0.023 0.053 2.992 0.410 0.500 0.169 4.809 0.001

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

39 39 71 45 44 36 60 38 86 0

N.S.

1 1.00 1.82 1.15 1.13 0.92 1.54 0.97 2.21 0.00

time (sec)

N/A 0.042 0.026 0.058 2.966 0.409 0.697 0.154 0.093 0.001

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

48 48 76 117 47 134 58 115 147 0

N.S.

1 1.00 1.58 2.44 0.98 2.79 1.21 2.40 3.06 0.00

time (sec)

N/A 0.037 0.022 0.056 2.991 0.449 0.625 0.416 5.137 0.001

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A C B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

47 47 72 84 36 40 85 111 145 0

N.S.

1 1.00 1.53 1.79 0.77 0.85 1.81 2.36 3.09 0.00

time (sec)

N/A 0.034 0.029 0.045 3.003 0.426 0.745 0.204 5.024 0.001

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

57 57 99 122 122 182 58 91 176 0

N.S.

1 1.00 1.74 2.14 2.14 3.19 1.02 1.60 3.09 0.00

time (sec)

N/A 0.069 0.033 0.051 2.943 0.448 0.987 0.306 5.272 0.001

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B A C B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

47 47 106 110 93 43 95 98 142 0

N.S.

1 1.00 2.26 2.34 1.98 0.91 2.02 2.09 3.02 0.00

time (sec)

N/A 0.061 0.043 0.052 2.988 0.430 0.934 0.214 0.328 0.001

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A A A C B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 146 87 51 52 100 166 172 0

N.S.

1 1.00 2.92 1.74 1.02 1.04 2.00 3.32 3.44 0.00

time (sec)

N/A 0.077 0.054 0.051 3.030 0.431 0.738 0.224 5.098 0.001

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B A C B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

53 53 150 135 167 53 110 162 172 0

N.S.

1 1.00 2.83 2.55 3.15 1.00 2.08 3.06 3.25 0.00

time (sec)

N/A 0.081 0.102 0.049 3.031 0.425 0.843 0.221 5.402 0.001

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

54 54 149 132 168 56 109 91 173 0

N.S.

1 1.00 2.76 2.44 3.11 1.04 2.02 1.69 3.20 0.00

time (sec)

N/A 0.060 0.067 0.043 3.149 0.432 0.771 0.176 5.270 0.001

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A A A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

53 53 147 90 52 53 102 85 171 0

N.S.

1 1.00 2.77 1.70 0.98 1.00 1.92 1.60 3.23 0.00

time (sec)

N/A 0.058 0.052 0.050 2.999 0.430 0.791 0.215 5.191 0.001

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B A A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

61 61 95 117 162 160 70 0 193 0

N.S.

1 1.00 1.56 1.92 2.66 2.62 1.15 0.00 3.16 0.00

time (sec)

N/A 0.041 0.021 0.056 2.869 0.456 0.732 0.000 5.307 0.001

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B A A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

70 70 116 122 173 205 73 0 221 0

N.S.

1 1.00 1.66 1.74 2.47 2.93 1.04 0.00 3.16 0.00

time (sec)

N/A 0.072 0.032 0.054 3.022 0.447 1.241 0.000 5.239 0.001

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

40 40 50 32 31 31 42 32 46 0

N.S.

1 1.00 1.25 0.80 0.78 0.78 1.05 0.80 1.15 0.00

time (sec)

N/A 0.030 0.030 0.046 2.988 0.428 0.294 0.321 0.155 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F(-1) F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

70 70 122 310 236 430 0 0 386 0

N.S.

1 1.00 1.74 4.43 3.37 6.14 0.00 0.00 5.51 0.00

time (sec)

N/A 0.067 0.052 0.056 3.120 3.299 0.000 0.000 6.232 0.001

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B B F(-1) F(-1) B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

88 88 238 345 252 470 0 0 444 0

N.S.

1 1.00 2.70 3.92 2.86 5.34 0.00 0.00 5.05 0.00

time (sec)

N/A 0.112 0.655 0.054 3.041 2.718 0.000 0.000 6.324 0.001

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

11 11 12 12 12 12 7 13 12 0

N.S.

1 1.00 1.09 1.09 1.09 1.09 0.64 1.18 1.09 0.00

time (sec)

N/A 0.011 0.002 0.045 1.359 0.392 0.244 0.362 0.036 0.001

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

21 21 21 218 210 17 20 16 15 0

N.S.

1 1.00 1.00 10.38 10.00 0.81 0.95 0.76 0.71 0.00

time (sec)

N/A 0.015 0.003 0.049 2.989 0.421 0.263 0.312 4.903 0.001

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A A B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

71 71 247 121 78 429 0 242 436 0

N.S.

1 1.00 3.48 1.70 1.10 6.04 0.00 3.41 6.14 0.00

time (sec)

N/A 0.094 0.334 0.051 2.950 1.857 0.000 0.204 6.077 0.001

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

76 76 288 345 238 459 0 235 456 0

N.S.

1 1.00 3.79 4.54 3.13 6.04 0.00 3.09 6.00 0.00

time (sec)

N/A 0.102 0.254 0.049 3.010 1.780 0.000 0.214 6.479 0.001

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

78 78 253 340 239 450 0 133 453 0

N.S.

1 1.00 3.24 4.36 3.06 5.77 0.00 1.71 5.81 0.00

time (sec)

N/A 0.108 0.356 0.050 3.031 1.779 0.000 0.192 6.053 0.001

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

75 75 244 124 78 450 0 125 435 0

N.S.

1 1.00 3.25 1.65 1.04 6.00 0.00 1.67 5.80 0.00

time (sec)

N/A 0.105 0.322 0.051 3.140 1.721 0.000 0.179 6.357 0.001

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

32 32 31 36 26 26 24 27 35 0

N.S.

1 1.00 0.97 1.12 0.81 0.81 0.75 0.84 1.09 0.00

time (sec)

N/A 0.034 0.014 0.054 2.972 0.395 0.869 0.155 4.778 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

55 55 62 87 47 47 323 52 87 0

N.S.

1 1.00 1.13 1.58 0.85 0.85 5.87 0.95 1.58 0.00

time (sec)

N/A 0.057 0.038 0.049 2.992 0.424 1.885 0.169 4.948 0.001

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

8 8 8 7 6 6 5 7 6 0

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.62 0.88 0.75 0.00

time (sec)

N/A 0.006 0.001 0.054 1.270 0.385 0.134 0.154 0.023 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

30 30 30 33 32 32 5 33 63 0

N.S.

1 1.00 1.00 1.10 1.07 1.07 0.17 1.10 2.10 0.00

time (sec)

N/A 0.030 0.010 0.053 2.958 0.417 0.336 0.156 4.930 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

18 18 18 17 16 16 15 17 16 0

N.S.

1 1.00 1.00 0.94 0.89 0.89 0.83 0.94 0.89 0.00

time (sec)

N/A 0.019 0.006 0.050 2.926 0.388 0.161 0.149 0.041 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

113 113 113 98 97 97 117 97 97 0

N.S.

1 1.00 1.00 0.87 0.86 0.86 1.04 0.86 0.86 0.00

time (sec)

N/A 0.099 0.005 0.045 1.386 0.353 0.731 0.165 0.061 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

88 88 88 75 74 74 90 74 74 0

N.S.

1 1.00 1.00 0.85 0.84 0.84 1.02 0.84 0.84 0.00

time (sec)

N/A 0.060 0.003 0.050 1.387 0.355 0.155 0.155 0.036 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

60 60 60 51 50 50 58 50 50 0

N.S.

1 1.00 1.00 0.85 0.83 0.83 0.97 0.83 0.83 0.00

time (sec)

N/A 0.038 0.003 0.041 1.402 0.354 0.097 0.165 0.028 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

12 12 12 11 10 10 8 10 10 14

N.S.

1 1.00 1.00 0.92 0.83 0.83 0.67 0.83 0.83 1.17

time (sec)

N/A 0.014 0.001 0.043 1.322 0.388 0.127 0.198 0.018 0.026

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

161 161 124 186 135 1931 76 141 127 0

N.S.

1 1.00 0.77 1.16 0.84 11.99 0.47 0.88 0.79 0.00

time (sec)

N/A 0.098 0.051 0.046 2.985 1.179 1.338 0.184 5.094 0.001

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

189 189 180 238 169 2088 105 174 169 0

N.S.

1 1.00 0.95 1.26 0.89 11.05 0.56 0.92 0.89 0.00

time (sec)

N/A 0.127 0.173 0.046 3.016 1.187 1.851 0.213 5.084 0.001

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

186 186 200 211 192 5014 156 175 357 0

N.S.

1 1.00 1.08 1.13 1.03 26.96 0.84 0.94 1.92 0.00

time (sec)

N/A 0.178 0.088 0.049 2.925 1.204 1.384 0.176 0.262 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

222 222 214 325 240 7245 245 214 370 0

N.S.

1 1.00 0.96 1.46 1.08 32.64 1.10 0.96 1.67 0.00

time (sec)

N/A 0.319 0.238 0.051 2.960 1.816 5.714 0.186 5.143 0.001

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

282 280 277 446 303 8787 325 294 513 0

N.S.

1 0.99 0.98 1.58 1.07 31.16 1.15 1.04 1.82 0.00

time (sec)

N/A 0.443 0.365 0.051 3.044 5.152 60.245 0.193 4.973 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

272 270 269 444 314 12827 0 264 769 0

N.S.

1 0.99 0.99 1.63 1.15 47.16 0.00 0.97 2.83 0.00

time (sec)

N/A 0.490 0.422 0.071 3.033 1.764 0.000 0.212 5.134 0.001

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

416 416 439 837 520 0 0 432 1700 0

N.S.

1 1.00 1.06 2.01 1.25 0.00 0.00 1.04 4.09 0.00

time (sec)

N/A 0.700 0.577 0.052 3.049 0.000 0.000 0.233 4.913 0.001

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

645 643 678 1339 833 0 0 723 2971 0

N.S.

1 1.00 1.05 2.08 1.29 0.00 0.00 1.12 4.61 0.00

time (sec)

N/A 1.097 0.476 0.056 3.126 0.000 0.000 0.210 5.047 0.001

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

43 43 54 38 37 37 44 38 49 0

N.S.

1 1.00 1.26 0.88 0.86 0.86 1.02 0.88 1.14 0.00

time (sec)

N/A 0.078 0.016 0.052 2.858 0.409 0.251 0.151 0.098 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

46 46 54 38 37 37 46 38 51 0

N.S.

1 1.00 1.17 0.83 0.80 0.80 1.00 0.83 1.11 0.00

time (sec)

N/A 0.084 0.029 0.052 2.900 0.408 0.308 0.157 0.093 0.001

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

44 44 44 38 37 37 48 38 49 0

N.S.

1 1.00 1.00 0.86 0.84 0.84 1.09 0.86 1.11 0.00

time (sec)

N/A 0.043 0.010 0.047 2.809 0.397 0.327 0.153 4.697 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B F(-1) A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

87 87 134 101 126 0 126 225 182 0

N.S.

1 1.00 1.54 1.16 1.45 0.00 1.45 2.59 2.09 0.00

time (sec)

N/A 0.065 0.039 0.046 2.882 0.000 1.219 0.181 5.012 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

219 219 184 151 207 0 124 213 160 0

N.S.

1 1.00 0.84 0.69 0.95 0.00 0.57 0.97 0.73 0.00

time (sec)

N/A 0.171 0.090 0.045 3.042 0.000 1.030 0.186 4.798 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

110 110 168 142 157 0 156 254 283 0

N.S.

1 1.00 1.53 1.29 1.43 0.00 1.42 2.31 2.57 0.00

time (sec)

N/A 0.082 0.202 0.050 3.038 0.000 1.798 0.173 4.919 0.001

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

241 241 224 188 238 0 155 238 282 0

N.S.

1 1.00 0.93 0.78 0.99 0.00 0.64 0.99 1.17 0.00

time (sec)

N/A 0.202 0.279 0.052 2.932 0.000 1.511 0.170 4.944 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

136 136 193 180 186 0 194 272 315 0

N.S.

1 1.00 1.42 1.32 1.37 0.00 1.43 2.00 2.32 0.00

time (sec)

N/A 0.110 0.208 0.049 3.015 0.000 1.970 0.188 4.979 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

266 266 249 222 269 0 192 256 315 0

N.S.

1 1.00 0.94 0.83 1.01 0.00 0.72 0.96 1.18 0.00

time (sec)

N/A 0.230 0.264 0.049 3.061 0.000 1.989 0.181 4.989 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

162 162 217 177 223 0 231 296 351 0

N.S.

1 1.00 1.34 1.09 1.38 0.00 1.43 1.83 2.17 0.00

time (sec)

N/A 0.130 0.215 0.064 2.974 0.000 2.062 0.278 4.975 0.001

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

291 291 274 225 304 0 231 280 350 0

N.S.

1 1.00 0.94 0.77 1.04 0.00 0.79 0.96 1.20 0.00

time (sec)

N/A 0.268 0.338 0.070 3.198 0.000 1.807 0.180 0.309 0.001

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A C B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

24 24 42 44 35 35 313 37 100 0

N.S.

1 1.00 1.75 1.83 1.46 1.46 13.04 1.54 4.17 0.00

time (sec)

N/A 0.018 0.021 0.044 3.042 0.412 0.923 0.147 4.918 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A F(-1) A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

98 98 99 68 86 0 83 86 71 0

N.S.

1 1.00 1.01 0.69 0.88 0.00 0.85 0.88 0.72 0.00

time (sec)

N/A 0.067 0.125 0.046 2.998 0.000 0.705 0.172 0.092 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

116 116 187 161 153 0 471 263 725 0

N.S.

1 1.00 1.61 1.39 1.32 0.00 4.06 2.27 6.25 0.00

time (sec)

N/A 0.095 0.062 0.045 2.911 0.000 11.044 0.179 5.143 0.001

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

277 277 229 280 257 0 466 275 712 0

N.S.

1 1.00 0.83 1.01 0.93 0.00 1.68 0.99 2.57 0.00

time (sec)

N/A 0.197 0.115 0.046 3.042 0.000 10.540 0.174 5.086 0.001

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

146 146 211 228 191 0 508 311 477 0

N.S.

1 1.00 1.45 1.56 1.31 0.00 3.48 2.13 3.27 0.00

time (sec)

N/A 0.128 0.283 0.055 2.936 0.000 13.740 0.182 4.982 0.001

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

308 308 305 344 294 0 505 306 472 0

N.S.

1 1.00 0.99 1.12 0.95 0.00 1.64 0.99 1.53 0.00

time (sec)

N/A 0.255 0.545 0.049 3.102 0.000 11.548 0.177 0.333 0.001

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

179 179 244 286 230 0 563 340 826 0

N.S.

1 1.00 1.36 1.60 1.28 0.00 3.15 1.90 4.61 0.00

time (sec)

N/A 0.167 0.289 0.052 3.124 0.000 45.341 0.235 5.111 0.001

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

341 341 337 396 336 0 558 336 826 0

N.S.

1 1.00 0.99 1.16 0.99 0.00 1.64 0.99 2.42 0.00

time (sec)

N/A 0.311 0.417 0.051 3.089 0.000 40.860 0.191 5.047 0.001

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

211 211 276 274 279 0 612 377 874 0

N.S.

1 1.00 1.31 1.30 1.32 0.00 2.90 1.79 4.14 0.00

time (sec)

N/A 0.211 0.284 0.061 3.019 0.000 59.744 0.223 5.220 0.001

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

372 372 369 394 383 0 610 373 873 0

N.S.

1 1.00 0.99 1.06 1.03 0.00 1.64 1.00 2.35 0.00

time (sec)

N/A 0.379 0.585 0.065 3.108 0.000 63.470 0.191 5.137 0.001

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

28 28 27 24 25 24 27 25 25 0

N.S.

1 1.00 0.96 0.86 0.89 0.86 0.96 0.89 0.89 0.00

time (sec)

N/A 0.011 0.002 0.045 1.372 0.360 0.119 0.145 4.674 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

33 33 32 27 27 27 29 27 27 0

N.S.

1 1.00 0.97 0.82 0.82 0.82 0.88 0.82 0.82 0.00

time (sec)

N/A 0.014 0.002 0.041 1.396 0.350 0.073 0.169 0.034 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

60 60 60 51 50 50 58 50 50 0

N.S.

1 1.00 1.00 0.85 0.83 0.83 0.97 0.83 0.83 0.00

time (sec)

N/A 0.062 0.002 0.048 1.356 0.365 0.110 0.150 0.025 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

33 33 33 27 27 27 31 27 27 0

N.S.

1 1.00 1.00 0.82 0.82 0.82 0.94 0.82 0.82 0.00

time (sec)

N/A 0.013 0.001 0.042 1.357 0.366 0.132 0.195 0.039 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

60 60 60 51 50 50 60 50 50 0

N.S.

1 1.00 1.00 0.85 0.83 0.83 1.00 0.83 0.83 0.00

time (sec)

N/A 0.027 0.003 0.044 1.317 0.367 0.083 0.151 0.025 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

65 65 65 54 53 53 61 53 53 0

N.S.

1 1.00 1.00 0.83 0.82 0.82 0.94 0.82 0.82 0.00

time (sec)

N/A 0.098 0.003 0.039 1.349 0.367 0.135 0.149 0.027 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

92 92 92 77 76 76 90 76 76 0

N.S.

1 1.00 1.00 0.84 0.83 0.83 0.98 0.83 0.83 0.00

time (sec)

N/A 0.053 0.004 0.043 1.430 0.367 0.163 0.150 0.038 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

17 17 33 27 15 27 29 16 26 0

N.S.

1 1.00 1.94 1.59 0.88 1.59 1.71 0.94 1.53 0.00

time (sec)

N/A 0.005 0.001 0.044 1.386 0.380 0.244 0.143 0.033 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

45 45 60 51 50 50 58 50 50 0

N.S.

1 1.00 1.33 1.13 1.11 1.11 1.29 1.11 1.11 0.00

time (sec)

N/A 0.019 0.003 0.043 1.314 0.347 0.078 0.201 0.024 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 65 54 53 53 60 53 53 0

N.S.

1 1.00 1.30 1.08 1.06 1.06 1.20 1.06 1.06 0.00

time (sec)

N/A 0.020 0.003 0.039 1.320 0.359 0.116 0.163 0.027 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

77 77 92 77 76 76 88 76 76 0

N.S.

1 1.00 1.19 1.00 0.99 0.99 1.14 0.99 0.99 0.00

time (sec)

N/A 0.051 0.004 0.044 1.363 0.367 0.085 0.150 0.038 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 65 54 53 53 61 53 53 0

N.S.

1 1.00 1.30 1.08 1.06 1.06 1.22 1.06 1.06 0.00

time (sec)

N/A 0.023 0.004 0.043 1.360 0.358 0.085 0.146 0.027 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

77 77 92 77 76 76 90 76 76 0

N.S.

1 1.00 1.19 1.00 0.99 0.99 1.17 0.99 0.99 0.00

time (sec)

N/A 0.042 0.005 0.043 1.337 0.371 0.146 0.201 0.038 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

82 82 97 80 79 79 92 79 79 0

N.S.

1 1.00 1.18 0.98 0.96 0.96 1.12 0.96 0.96 0.00

time (sec)

N/A 0.084 0.005 0.038 1.417 0.353 0.112 0.161 0.041 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

109 109 124 103 102 102 121 105 102 0

N.S.

1 1.00 1.14 0.94 0.94 0.94 1.11 0.96 0.94 0.00

time (sec)

N/A 0.080 0.008 0.040 1.393 0.347 0.089 0.167 4.677 0.000

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

151 151 180 151 150 150 180 154 150 0

N.S.

1 1.00 1.19 1.00 0.99 0.99 1.19 1.02 0.99 0.00

time (sec)

N/A 0.106 0.005 0.049 1.339 0.343 0.133 0.168 4.863 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

155 155 220 248 200 0 520 320 483 0

N.S.

1 1.00 1.42 1.60 1.29 0.00 3.35 2.06 3.12 0.00

time (sec)

N/A 0.118 0.229 0.052 3.002 0.000 24.169 0.231 0.415 0.001

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

188 188 253 326 249 0 583 358 832 0

N.S.

1 1.00 1.35 1.73 1.32 0.00 3.10 1.90 4.43 0.00

time (sec)

N/A 0.155 0.262 0.054 2.964 0.000 116.916 0.204 5.185 0.001

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

220 220 286 280 297 0 0 395 880 0

N.S.

1 1.00 1.30 1.27 1.35 0.00 0.00 1.80 4.00 0.00

time (sec)

N/A 0.189 0.502 0.058 3.061 0.000 0.000 0.187 5.246 0.001

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

101 101 78 114 123 284 88 97 36 0

N.S.

1 1.00 0.77 1.13 1.22 2.81 0.87 0.96 0.36 0.00

time (sec)

N/A 0.096 0.034 0.045 2.937 0.447 0.441 0.196 0.125 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

22 22 22 16 15 15 19 15 15 0

N.S.

1 1.00 1.00 0.73 0.68 0.68 0.86 0.68 0.68 0.00

time (sec)

N/A 0.013 0.011 0.039 2.875 0.412 0.134 0.166 4.774 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

123 123 107 129 147 0 88 115 119 0

N.S.

1 1.00 0.87 1.05 1.20 0.00 0.72 0.93 0.97 0.00

time (sec)

N/A 0.103 0.055 0.049 2.907 0.000 0.717 0.191 0.200 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

101 101 78 114 123 278 88 97 32 0

N.S.

1 1.00 0.77 1.13 1.22 2.75 0.87 0.96 0.32 0.00

time (sec)

N/A 0.077 0.017 0.043 3.038 0.413 0.430 0.202 4.974 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

141 141 113 226 167 2278 68 131 315 0

N.S.

1 1.00 0.80 1.60 1.18 16.16 0.48 0.93 2.23 0.00

time (sec)

N/A 0.098 0.061 0.043 3.038 0.478 0.573 0.204 5.110 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

123 123 99 129 147 0 85 114 162 0

N.S.

1 1.00 0.80 1.05 1.20 0.00 0.69 0.93 1.32 0.00

time (sec)

N/A 0.118 0.054 0.047 3.090 0.000 0.770 0.195 0.217 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

163 163 129 241 187 0 292 143 270 0

N.S.

1 1.00 0.79 1.48 1.15 0.00 1.79 0.88 1.66 0.00

time (sec)

N/A 0.124 0.083 0.048 3.062 0.000 5.070 0.216 5.519 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

13 13 13 12 11 11 10 11 9 0

N.S.

1 1.00 1.00 0.92 0.85 0.85 0.77 0.85 0.69 0.00

time (sec)

N/A 0.004 0.004 0.046 1.323 0.392 0.094 0.164 0.030 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

114 114 108 125 149 359 51 109 117 0

N.S.

1 1.00 0.95 1.10 1.31 3.15 0.45 0.96 1.03 0.00

time (sec)

N/A 0.099 0.034 0.048 3.056 0.434 0.417 0.196 0.283 0.001

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A B A C B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

36 36 65 28 113 27 53 93 25 0

N.S.

1 1.00 1.81 0.78 3.14 0.75 1.47 2.58 0.69 0.00

time (sec)

N/A 0.031 0.045 0.047 3.062 0.386 0.411 0.181 0.056 0.001

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

136 136 128 140 171 0 199 125 307 0

N.S.

1 1.00 0.94 1.03 1.26 0.00 1.46 0.92 2.26 0.00

time (sec)

N/A 0.118 0.096 0.045 3.053 0.000 1.684 0.197 5.496 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

114 114 108 125 152 272 70 109 117 0

N.S.

1 1.00 0.95 1.10 1.33 2.39 0.61 0.96 1.03 0.00

time (sec)

N/A 0.121 0.030 0.041 3.026 0.447 0.422 0.276 0.374 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

154 154 148 237 195 2326 148 137 286 0

N.S.

1 1.00 0.96 1.54 1.27 15.10 0.96 0.89 1.86 0.00

time (sec)

N/A 0.117 0.106 0.047 2.993 0.489 1.379 0.209 5.810 0.001

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

136 136 125 140 174 0 189 124 300 0

N.S.

1 1.00 0.92 1.03 1.28 0.00 1.39 0.91 2.21 0.00

time (sec)

N/A 0.140 0.083 0.046 3.017 0.000 1.991 0.197 5.388 0.001

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

176 176 164 252 207 0 580 149 1168 0

N.S.

1 1.00 0.93 1.43 1.18 0.00 3.30 0.85 6.64 0.00

time (sec)

N/A 0.144 0.187 0.046 2.993 0.000 13.068 0.216 5.636 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

8 8 8 7 6 6 5 7 6 0

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.62 0.88 0.75 0.00

time (sec)

N/A 0.008 0.003 0.043 1.347 0.401 0.073 0.150 0.023 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

53 53 50 102 76 145 73 70 156 0

N.S.

1 1.00 0.94 1.92 1.43 2.74 1.38 1.32 2.94 0.00

time (sec)

N/A 0.042 0.042 0.046 3.004 0.426 0.427 0.152 0.402 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

124 124 203 171 160 0 187 290 312 0

N.S.

1 1.00 1.64 1.38 1.29 0.00 1.51 2.34 2.52 0.00

time (sec)

N/A 0.087 0.064 0.049 3.024 0.000 2.278 0.173 5.034 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

277 277 283 286 296 0 187 270 305 0

N.S.

1 1.00 1.02 1.03 1.07 0.00 0.68 0.97 1.10 0.00

time (sec)

N/A 0.196 0.240 0.047 2.975 0.000 2.268 0.209 5.041 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

148 148 249 244 202 0 0 303 5082 0

N.S.

1 1.00 1.68 1.65 1.36 0.00 0.00 2.05 34.34 0.00

time (sec)

N/A 0.203 0.092 0.047 3.104 0.000 0.000 0.194 5.507 0.001

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

172 172 221 289 224 0 0 344 1393 0

N.S.

1 1.00 1.28 1.68 1.30 0.00 0.00 2.00 8.10 0.00

time (sec)

N/A 0.165 0.425 0.052 3.114 0.000 0.000 0.184 5.560 0.001

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

221 221 263 328 284 0 0 393 1002 0

N.S.

1 1.00 1.19 1.48 1.29 0.00 0.00 1.78 4.53 0.00

time (sec)

N/A 0.263 0.772 0.072 3.004 0.000 0.000 0.195 5.436 0.001

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

266 266 313 368 345 0 0 442 1056 0

N.S.

1 1.00 1.18 1.38 1.30 0.00 0.00 1.66 3.97 0.00

time (sec)

N/A 0.320 0.390 0.059 3.179 0.000 0.000 0.189 5.662 0.001

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

319 319 311 429 328 0 0 340 5042 0

N.S.

1 1.00 0.97 1.34 1.03 0.00 0.00 1.07 15.81 0.00

time (sec)

N/A 0.351 0.407 0.055 3.028 0.000 0.000 0.273 5.588 0.001

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

341 341 319 482 350 0 0 365 1383 0

N.S.

1 1.00 0.94 1.41 1.03 0.00 0.00 1.07 4.06 0.00

time (sec)

N/A 0.305 0.232 0.053 3.003 0.000 0.000 0.203 5.592 0.001

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

394 394 366 519 412 0 0 416 1001 0

N.S.

1 1.00 0.93 1.32 1.05 0.00 0.00 1.06 2.54 0.00

time (sec)

N/A 0.439 0.392 0.062 3.029 0.000 0.000 0.197 0.705 0.001

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

437 437 411 560 472 0 0 466 1053 0

N.S.

1 1.00 0.94 1.28 1.08 0.00 0.00 1.07 2.41 0.00

time (sec)

N/A 0.531 0.520 0.064 3.120 0.000 0.000 0.188 5.562 0.001

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B B B B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

11 11 9 8 15 15 15 15 15 9

N.S.

1 1.00 0.82 0.73 1.36 1.36 1.36 1.36 1.36 0.82

time (sec)

N/A 0.013 0.002 0.046 1.295 0.397 0.093 0.242 0.031 0.027

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

11 11 14 8 12 12 8 12 11 9

N.S.

1 1.00 1.27 0.73 1.09 1.09 0.73 1.09 1.00 0.82

time (sec)

N/A 0.012 0.001 0.043 1.292 0.400 0.082 0.159 0.024 0.025

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

9 9 9 8 7 7 5 7 6 11

N.S.

1 1.00 1.00 0.89 0.78 0.78 0.56 0.78 0.67 1.22

time (sec)

N/A 0.009 0.001 0.041 1.295 0.409 0.070 0.154 0.019 0.021

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

8 8 8 7 6 6 5 7 6 0

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.62 0.88 0.75 0.00

time (sec)

N/A 0.007 0.001 0.045 1.372 0.404 0.073 0.166 0.002 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

7 7 7 8 7 7 5 7 7 0

N.S.

1 1.00 1.00 1.14 1.00 1.00 0.71 1.00 1.00 0.00

time (sec)

N/A 0.016 0.001 0.042 1.296 0.397 0.107 0.213 0.031 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

11 11 9 8 12 12 10 7 7 0

N.S.

1 1.00 0.82 0.73 1.09 1.09 0.91 0.64 0.64 0.00

time (sec)

N/A 0.018 0.003 0.038 1.302 0.396 0.210 0.157 4.837 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

11 11 9 8 17 17 17 7 7 0

N.S.

1 1.00 0.82 0.73 1.55 1.55 1.55 0.64 0.64 0.00

time (sec)

N/A 0.019 0.001 0.045 1.325 0.393 0.150 0.156 4.806 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

165 165 256 296 222 0 0 342 2478 0

N.S.

1 1.00 1.55 1.79 1.35 0.00 0.00 2.07 15.02 0.00

time (sec)

N/A 0.261 0.427 0.047 3.039 0.000 0.000 0.197 5.544 0.001

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

188 188 301 367 240 0 0 541 3810 0

N.S.

1 1.00 1.60 1.95 1.28 0.00 0.00 2.88 20.27 0.00

time (sec)

N/A 0.327 0.547 0.054 3.025 0.000 0.000 0.213 5.074 0.001

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

205 205 318 393 257 0 0 556 5673 0

N.S.

1 1.00 1.55 1.92 1.25 0.00 0.00 2.71 27.67 0.00

time (sec)

N/A 0.313 0.512 0.052 3.074 0.000 0.000 0.215 5.161 0.001

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

337 337 342 462 351 0 0 375 2469 0

N.S.

1 1.00 1.01 1.37 1.04 0.00 0.00 1.11 7.33 0.00

time (sec)

N/A 0.399 0.487 0.047 3.047 0.000 0.000 0.189 5.542 0.001

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

384 384 427 603 399 0 0 562 3798 0

N.S.

1 1.00 1.11 1.57 1.04 0.00 0.00 1.46 9.89 0.00

time (sec)

N/A 0.565 0.371 0.056 3.077 0.000 0.000 0.209 5.054 0.001

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

402 402 445 627 429 0 0 578 5664 0

N.S.

1 1.00 1.11 1.56 1.07 0.00 0.00 1.44 14.09 0.00

time (sec)

N/A 0.567 0.418 0.049 3.156 0.000 0.000 0.204 5.203 0.001

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

184 184 257 340 243 0 0 380 1626 0

N.S.

1 1.00 1.40 1.85 1.32 0.00 0.00 2.07 8.84 0.00

time (sec)

N/A 0.204 0.284 0.053 3.077 0.000 0.000 0.193 5.615 0.001

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

203 203 302 409 260 0 0 583 2611 0

N.S.

1 1.00 1.49 2.01 1.28 0.00 0.00 2.87 12.86 0.00

time (sec)

N/A 0.274 0.279 0.051 3.064 0.000 0.000 0.200 5.671 0.001

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

225 225 338 431 299 0 0 610 3943 0

N.S.

1 1.00 1.50 1.92 1.33 0.00 0.00 2.71 17.52 0.00

time (sec)

N/A 0.310 0.251 0.060 3.149 0.000 0.000 0.225 5.909 0.001

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

353 353 359 515 374 0 0 398 1623 0

N.S.

1 1.00 1.02 1.46 1.06 0.00 0.00 1.13 4.60 0.00

time (sec)

N/A 0.340 0.302 0.056 3.194 0.000 0.000 0.186 5.578 0.001

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

395 395 415 654 416 0 0 589 2605 0

N.S.

1 1.00 1.05 1.66 1.05 0.00 0.00 1.49 6.59 0.00

time (sec)

N/A 0.492 0.465 0.054 3.194 0.000 0.000 0.598 5.702 0.001

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

417 417 460 675 458 0 0 617 3939 0

N.S.

1 1.00 1.10 1.62 1.10 0.00 0.00 1.48 9.45 0.00

time (sec)

N/A 0.536 0.440 0.063 3.214 0.000 0.000 0.219 5.844 0.001

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

241 241 309 389 316 0 0 440 1687 0

N.S.

1 1.00 1.28 1.61 1.31 0.00 0.00 1.83 7.00 0.00

time (sec)

N/A 0.339 0.416 0.062 2.963 0.000 0.000 0.208 5.732 0.001

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

268 268 359 472 343 0 0 652 2680 0

N.S.

1 1.00 1.34 1.76 1.28 0.00 0.00 2.43 10.00 0.00

time (sec)

N/A 0.435 0.400 0.063 3.083 0.000 0.000 0.280 5.801 0.001

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

285 285 380 488 377 0 0 684 2696 0

N.S.

1 1.00 1.33 1.71 1.32 0.00 0.00 2.40 9.46 0.00

time (sec)

N/A 0.391 0.338 0.061 3.129 0.000 0.000 0.213 5.910 0.001

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

413 413 411 561 446 0 0 459 1686 0

N.S.

1 1.00 1.00 1.36 1.08 0.00 0.00 1.11 4.08 0.00

time (sec)

N/A 0.486 0.425 0.058 3.068 0.000 0.000 0.204 5.691 0.001

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

463 463 473 716 497 0 0 661 2680 0

N.S.

1 1.00 1.02 1.55 1.07 0.00 0.00 1.43 5.79 0.00

time (sec)

N/A 0.686 0.677 0.061 3.175 0.000 0.000 0.226 5.749 0.001

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

480 480 500 731 535 0 0 693 2695 0

N.S.

1 1.00 1.04 1.52 1.11 0.00 0.00 1.44 5.61 0.00

time (sec)

N/A 0.666 0.508 0.059 3.093 0.000 0.000 0.221 5.788 0.001

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

293 293 360 434 389 0 0 501 1747 0

N.S.

1 1.00 1.23 1.48 1.33 0.00 0.00 1.71 5.96 0.00

time (sec)

N/A 0.431 0.487 0.064 3.178 0.000 0.000 0.263 5.994 0.001

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

331 331 422 522 429 0 0 727 2747 0

N.S.

1 1.00 1.27 1.58 1.30 0.00 0.00 2.20 8.30 0.00

time (sec)

N/A 0.567 0.545 0.059 3.163 0.000 0.000 0.209 6.140 0.001

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

349 349 439 538 463 0 0 759 2764 0

N.S.

1 1.00 1.26 1.54 1.33 0.00 0.00 2.17 7.92 0.00

time (sec)

N/A 0.524 0.525 0.060 3.085 0.000 0.000 0.207 6.396 0.001

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

462 462 461 607 517 0 0 521 1743 0

N.S.

1 1.00 1.00 1.31 1.12 0.00 0.00 1.13 3.77 0.00

time (sec)

N/A 0.619 0.581 0.070 3.126 0.000 0.000 0.204 6.075 0.001

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

516 516 530 767 579 0 0 735 2741 0

N.S.

1 1.00 1.03 1.49 1.12 0.00 0.00 1.42 5.31 0.00

time (sec)

N/A 0.850 1.010 0.066 3.160 0.000 0.000 0.207 6.084 0.001

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

534 534 555 783 613 0 0 767 2757 0

N.S.

1 1.00 1.04 1.47 1.15 0.00 0.00 1.44 5.16 0.00

time (sec)

N/A 0.824 0.706 0.067 3.228 0.000 0.000 0.206 6.480 0.001

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

14 14 14 13 12 12 80 12 12 14

N.S.

1 1.00 1.00 0.93 0.86 0.86 5.71 0.86 0.86 1.00

time (sec)

N/A 0.006 0.010 0.047 1.764 0.414 9.598 0.198 5.036 0.368

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

29 29 27 24 25 34 104 23 23 29

N.S.

1 1.00 0.93 0.83 0.86 1.17 3.59 0.79 0.79 1.00

time (sec)

N/A 0.023 0.103 0.048 1.767 0.417 12.387 0.245 4.905 15.155

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 27 24 23 33 109 22 20 27

N.S.

1 1.00 1.08 0.96 0.92 1.32 4.36 0.88 0.80 1.08

time (sec)

N/A 0.028 0.043 0.048 1.828 0.420 17.799 0.201 4.901 15.855

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

38 38 38 35 44 44 133 31 29 38

N.S.

1 1.00 1.00 0.92 1.16 1.16 3.50 0.82 0.76 1.00

time (sec)

N/A 0.030 0.046 0.044 1.850 0.413 21.515 0.224 4.836 34.846

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

12 12 12 11 10 10 58 10 10 12

N.S.

1 1.00 1.00 0.92 0.83 0.83 4.83 0.83 0.83 1.00

time (sec)

N/A 0.003 0.006 0.048 3.244 0.407 5.208 0.181 4.847 0.206

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

109 109 51 173 0 835 1287 101 64 0

N.S.

1 1.00 0.47 1.59 0.00 7.66 11.81 0.93 0.59 0.00

time (sec)

N/A 0.064 0.012 0.122 0.000 1.282 1.202 0.221 4.918 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

109 109 47 169 0 799 1287 101 65 0

N.S.

1 1.00 0.43 1.55 0.00 7.33 11.81 0.93 0.60 0.00

time (sec)

N/A 0.041 0.011 0.112 0.000 1.268 1.284 0.185 4.981 0.001

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

208 208 187 266 209 210 216 246 237 0

N.S.

1 1.00 0.90 1.28 1.00 1.01 1.04 1.18 1.14 0.00

time (sec)

N/A 0.316 0.106 0.046 1.374 0.408 1.318 0.173 4.920 0.002

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

170 170 154 218 169 170 172 197 189 0

N.S.

1 1.00 0.91 1.28 0.99 1.00 1.01 1.16 1.11 0.00

time (sec)

N/A 0.242 0.093 0.046 1.383 0.412 1.345 0.186 4.959 0.001

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

132 132 119 170 129 130 128 148 141 0

N.S.

1 1.00 0.90 1.29 0.98 0.98 0.97 1.12 1.07 0.00

time (sec)

N/A 0.183 0.073 0.050 1.374 0.410 1.045 0.168 4.927 0.001

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

96 96 88 124 91 92 88 101 96 0

N.S.

1 1.00 0.92 1.29 0.95 0.96 0.92 1.05 1.00 0.00

time (sec)

N/A 0.140 0.051 0.044 1.389 0.412 1.126 0.205 4.827 0.001

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

80 80 75 97 77 80 70 79 76 0

N.S.

1 1.00 0.94 1.21 0.96 1.00 0.88 0.99 0.95 0.00

time (sec)

N/A 0.120 0.037 0.050 1.383 0.463 5.262 0.205 4.925 0.001

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

81 81 77 94 77 85 70 95 74 0

N.S.

1 1.00 0.95 1.16 0.95 1.05 0.86 1.17 0.91 0.00

time (sec)

N/A 0.116 0.048 0.056 1.335 0.477 14.561 0.177 4.973 0.001

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

95 95 88 116 93 101 85 126 92 0

N.S.

1 1.00 0.93 1.22 0.98 1.06 0.89 1.33 0.97 0.00

time (sec)

N/A 0.129 0.075 0.052 1.356 0.458 74.001 0.163 4.993 0.001

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

128 128 128 161 125 127 0 184 123 0

N.S.

1 1.00 1.00 1.26 0.98 0.99 0.00 1.44 0.96 0.00

time (sec)

N/A 0.162 0.093 0.049 1.358 0.445 0.000 0.178 5.025 0.001

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

164 164 164 210 166 168 0 235 161 0

N.S.

1 1.00 1.00 1.28 1.01 1.02 0.00 1.43 0.98 0.00

time (sec)

N/A 0.181 0.087 0.057 1.359 0.492 0.000 0.168 5.073 0.001

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

205 205 194 260 208 210 0 287 200 0

N.S.

1 1.00 0.95 1.27 1.01 1.02 0.00 1.40 0.98 0.00

time (sec)

N/A 0.209 0.237 0.053 1.415 0.516 0.000 0.170 0.257 0.001

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

348 348 351 592 351 342 469 454 358 0

N.S.

1 1.00 1.01 1.70 1.01 0.98 1.35 1.30 1.03 0.00

time (sec)

N/A 0.333 0.088 0.049 3.015 0.435 4.350 0.182 0.311 0.001

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

316 316 311 554 313 321 513 441 313 0

N.S.

1 1.00 0.98 1.75 0.99 1.02 1.62 1.40 0.99 0.00

time (sec)

N/A 0.306 0.107 0.050 2.946 0.425 4.057 0.185 5.162 0.001

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

312 312 306 544 311 304 423 401 311 0

N.S.

1 1.00 0.98 1.74 1.00 0.97 1.36 1.29 1.00 0.00

time (sec)

N/A 0.298 0.113 0.045 2.968 0.424 3.243 0.179 5.187 0.001

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

279 279 266 502 269 281 469 386 267 0

N.S.

1 1.00 0.95 1.80 0.96 1.01 1.68 1.38 0.96 0.00

time (sec)

N/A 0.273 0.117 0.047 3.025 0.424 2.481 0.182 5.147 0.001

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

274 274 264 492 267 249 376 346 264 0

N.S.

1 1.00 0.96 1.80 0.97 0.91 1.37 1.26 0.96 0.00

time (sec)

N/A 0.267 0.109 0.046 2.929 0.436 2.511 0.185 5.101 0.001

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

245 245 231 450 225 568 427 291 225 0

N.S.

1 1.00 0.94 1.84 0.92 2.32 1.74 1.19 0.92 0.00

time (sec)

N/A 0.216 0.179 0.046 3.014 0.447 2.380 0.196 5.135 0.001

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

240 240 229 442 223 600 342 253 222 0

N.S.

1 1.00 0.95 1.84 0.93 2.50 1.42 1.05 0.92 0.00

time (sec)

N/A 0.153 0.168 0.043 3.014 0.447 3.414 0.187 5.174 0.001

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

227 227 224 419 217 560 408 269 204 0

N.S.

1 1.00 0.99 1.85 0.96 2.47 1.80 1.19 0.90 0.00

time (sec)

N/A 0.193 0.205 0.049 2.962 0.469 4.724 0.181 5.372 0.001

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

224 224 218 414 214 565 326 232 201 0

N.S.

1 1.00 0.97 1.85 0.96 2.52 1.46 1.04 0.90 0.00

time (sec)

N/A 0.170 0.161 0.055 2.982 0.452 4.364 0.217 0.284 0.001

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

227 227 220 412 217 556 411 261 209 0

N.S.

1 1.00 0.97 1.81 0.96 2.45 1.81 1.15 0.92 0.00

time (sec)

N/A 0.186 0.157 0.057 3.037 0.461 11.527 0.184 5.164 0.001

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

225 225 220 410 214 584 328 220 207 0

N.S.

1 1.00 0.98 1.82 0.95 2.60 1.46 0.98 0.92 0.00

time (sec)

N/A 0.170 0.122 0.051 3.080 0.442 19.683 0.483 5.091 0.001

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

242 242 231 440 234 610 432 275 219 0

N.S.

1 1.00 0.95 1.82 0.97 2.52 1.79 1.14 0.90 0.00

time (sec)

N/A 0.188 0.145 0.048 3.067 0.448 46.610 0.213 5.200 0.001

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

244 244 231 441 234 595 348 297 220 0

N.S.

1 1.00 0.95 1.81 0.96 2.44 1.43 1.22 0.90 0.00

time (sec)

N/A 0.174 0.245 0.061 3.009 0.449 88.516 0.196 5.126 0.001

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

277 277 266 491 260 262 0 376 253 0

N.S.

1 1.00 0.96 1.77 0.94 0.95 0.00 1.36 0.91 0.00

time (sec)

N/A 0.222 0.135 0.062 3.054 0.431 0.000 0.194 5.329 0.001

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

280 280 266 493 260 295 0 338 253 0

N.S.

1 1.00 0.95 1.76 0.93 1.05 0.00 1.21 0.90 0.00

time (sec)

N/A 0.199 0.163 0.054 2.974 0.433 0.000 0.185 5.153 0.001

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

313 313 308 546 307 317 0 419 286 0

N.S.

1 1.00 0.98 1.74 0.98 1.01 0.00 1.34 0.91 0.00

time (sec)

N/A 0.238 0.135 0.053 2.988 0.433 0.000 0.183 5.228 0.001

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

315 315 311 548 307 335 0 393 287 0

N.S.

1 1.00 0.99 1.74 0.97 1.06 0.00 1.25 0.91 0.00

time (sec)

N/A 0.229 0.153 0.056 3.114 0.428 0.000 0.195 5.171 0.001

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

351 351 346 600 353 355 0 474 323 0

N.S.

1 1.00 0.99 1.71 1.01 1.01 0.00 1.35 0.92 0.00

time (sec)

N/A 0.258 0.146 0.056 3.029 0.433 0.000 0.190 5.164 0.001

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

220 220 205 288 222 303 236 300 356 0

N.S.

1 1.00 0.93 1.31 1.01 1.38 1.07 1.36 1.62 0.00

time (sec)

N/A 0.341 0.209 0.065 1.303 0.412 14.416 0.249 4.988 0.001

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

180 180 167 240 180 257 189 248 233 0

N.S.

1 1.00 0.93 1.33 1.00 1.43 1.05 1.38 1.29 0.00

time (sec)

N/A 0.265 0.142 0.059 1.381 0.400 12.381 0.183 4.995 0.001

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

140 140 129 192 138 202 141 217 155 0

N.S.

1 1.00 0.92 1.37 0.99 1.44 1.01 1.55 1.11 0.00

time (sec)

N/A 0.199 0.124 0.056 1.397 0.398 12.812 0.197 4.930 0.001

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

103 103 93 142 98 143 100 206 103 0

N.S.

1 1.00 0.90 1.38 0.95 1.39 0.97 2.00 1.00 0.00

time (sec)

N/A 0.145 0.068 0.066 1.352 0.391 11.614 0.189 0.085 0.001

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

100 100 95 125 100 145 95 125 100 0

N.S.

1 1.00 0.95 1.25 1.00 1.45 0.95 1.25 1.00 0.00

time (sec)

N/A 0.125 0.181 0.062 1.319 0.439 41.960 0.168 5.033 0.001

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

109 109 97 132 116 172 0 131 109 0

N.S.

1 1.00 0.89 1.21 1.06 1.58 0.00 1.20 1.00 0.00

time (sec)

N/A 0.142 0.151 0.059 1.434 0.436 0.000 0.213 5.046 0.001

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

130 130 118 167 138 208 0 201 130 0

N.S.

1 1.00 0.91 1.28 1.06 1.60 0.00 1.55 1.00 0.00

time (sec)

N/A 0.154 0.137 0.066 1.353 0.433 0.000 0.168 5.014 0.001

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

175 175 160 229 181 261 0 275 175 0

N.S.

1 1.00 0.91 1.31 1.03 1.49 0.00 1.57 1.00 0.00

time (sec)

N/A 0.203 0.139 0.063 1.433 0.469 0.000 0.196 5.084 0.001

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

214 214 198 282 226 310 0 331 216 0

N.S.

1 1.00 0.93 1.32 1.06 1.45 0.00 1.55 1.01 0.00

time (sec)

N/A 0.234 0.264 0.069 1.438 0.484 0.000 0.171 5.087 0.001

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

369 369 364 622 369 488 500 451 481 0

N.S.

1 1.00 0.99 1.69 1.00 1.32 1.36 1.22 1.30 0.00

time (sec)

N/A 0.467 0.435 0.053 2.982 0.427 15.903 0.199 0.347 0.001

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

335 335 319 584 325 455 539 442 362 0

N.S.

1 1.00 0.95 1.74 0.97 1.36 1.61 1.32 1.08 0.00

time (sec)

N/A 0.705 0.196 0.054 3.021 0.421 58.232 0.200 5.278 0.001

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

328 328 315 567 321 423 449 394 358 0

N.S.

1 1.00 0.96 1.73 0.98 1.29 1.37 1.20 1.09 0.00

time (sec)

N/A 0.369 0.304 0.055 3.016 0.422 14.983 0.183 5.201 0.001

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

298 298 282 529 277 920 490 344 287 0

N.S.

1 1.00 0.95 1.78 0.93 3.09 1.64 1.15 0.96 0.00

time (sec)

N/A 0.463 0.299 0.058 3.078 0.454 51.285 0.187 5.222 0.001

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

288 288 277 514 270 946 401 295 280 0

N.S.

1 1.00 0.96 1.78 0.94 3.28 1.39 1.02 0.97 0.00

time (sec)

N/A 0.326 0.193 0.053 2.985 0.469 12.901 0.179 0.311 0.001

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

271 271 255 495 259 874 461 318 246 0

N.S.

1 1.00 0.94 1.83 0.96 3.23 1.70 1.17 0.91 0.00

time (sec)

N/A 0.289 0.187 0.054 3.122 0.469 22.482 0.220 5.232 0.001

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

264 264 251 482 254 861 377 273 241 0

N.S.

1 1.00 0.95 1.83 0.96 3.26 1.43 1.03 0.91 0.00

time (sec)

N/A 0.264 0.200 0.055 3.045 0.446 7.023 0.208 5.177 0.001

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

265 265 255 474 258 860 457 305 244 0

N.S.

1 1.00 0.96 1.79 0.97 3.25 1.72 1.15 0.92 0.00

time (sec)

N/A 0.253 0.212 0.058 3.015 0.447 32.216 0.185 5.390 0.001

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

260 260 250 463 258 902 381 261 245 0

N.S.

1 1.00 0.96 1.78 0.99 3.47 1.47 1.00 0.94 0.00

time (sec)

N/A 0.246 0.219 0.061 2.971 0.453 77.381 0.178 5.222 0.001

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

269 269 255 486 267 902 473 310 247 0

N.S.

1 1.00 0.95 1.81 0.99 3.35 1.76 1.15 0.92 0.00

time (sec)

N/A 0.288 0.274 0.066 2.930 0.447 177.026 0.197 5.177 0.001

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

270 270 253 477 268 897 0 264 248 0

N.S.

1 1.00 0.94 1.77 0.99 3.32 0.00 0.98 0.92 0.00

time (sec)

N/A 0.272 0.192 0.055 2.927 0.449 0.000 0.177 5.127 0.001

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

297 297 281 529 292 982 0 333 274 0

N.S.

1 1.00 0.95 1.78 0.98 3.31 0.00 1.12 0.92 0.00

time (sec)

N/A 0.384 0.258 0.069 3.053 0.449 0.000 0.231 5.184 0.001

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

297 297 280 520 292 959 0 347 274 0

N.S.

1 1.00 0.94 1.75 0.98 3.23 0.00 1.17 0.92 0.00

time (sec)

N/A 0.370 0.240 0.063 3.031 0.444 0.000 0.199 5.200 0.001

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

334 334 319 575 323 442 0 437 310 0

N.S.

1 1.00 0.96 1.72 0.97 1.32 0.00 1.31 0.93 0.00

time (sec)

N/A 0.457 0.206 0.063 3.133 0.422 0.000 0.371 5.406 0.001

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

335 335 317 566 323 475 0 391 310 0

N.S.

1 1.00 0.95 1.69 0.96 1.42 0.00 1.17 0.93 0.00

time (sec)

N/A 0.434 0.325 0.058 3.065 0.430 0.000 0.180 5.121 0.001

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

375 375 370 631 374 507 0 482 348 0

N.S.

1 1.00 0.99 1.68 1.00 1.35 0.00 1.29 0.93 0.00

time (sec)

N/A 0.534 0.413 0.063 2.974 0.420 0.000 0.207 5.118 0.001

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

266 266 246 361 275 396 0 349 449 0

N.S.

1 1.00 0.92 1.36 1.03 1.49 0.00 1.31 1.69 0.00

time (sec)

N/A 0.436 0.190 0.061 1.542 0.391 0.000 0.184 4.958 0.001

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

226 226 208 313 233 353 0 298 293 0

N.S.

1 1.00 0.92 1.38 1.03 1.56 0.00 1.32 1.30 0.00

time (sec)

N/A 0.331 0.202 0.061 1.423 0.398 0.000 0.246 4.969 0.001

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

186 186 170 266 191 295 0 236 204 0

N.S.

1 1.00 0.91 1.43 1.03 1.59 0.00 1.27 1.10 0.00

time (sec)

N/A 0.269 0.165 0.058 1.352 0.398 0.000 0.216 4.924 0.001

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

146 146 145 213 147 225 0 146 152 0

N.S.

1 1.00 0.99 1.46 1.01 1.54 0.00 1.00 1.04 0.00

time (sec)

N/A 0.201 0.103 0.072 1.395 0.405 0.000 0.184 0.105 0.001

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

109 109 105 156 109 158 0 100 112 0

N.S.

1 1.00 0.96 1.43 1.00 1.45 0.00 0.92 1.03 0.00

time (sec)

N/A 0.152 0.061 0.062 1.384 0.396 0.000 0.196 4.939 0.001

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

114 114 104 147 129 187 0 128 123 0

N.S.

1 1.00 0.91 1.29 1.13 1.64 0.00 1.12 1.08 0.00

time (sec)

N/A 0.155 0.126 0.062 1.369 0.435 0.000 0.241 0.175 0.001

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

134 134 121 163 144 250 0 173 135 0

N.S.

1 1.00 0.90 1.22 1.07 1.87 0.00 1.29 1.01 0.00

time (sec)

N/A 0.171 0.109 0.059 1.355 0.425 0.000 0.183 5.068 0.001

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

163 163 149 213 182 316 0 189 167 0

N.S.

1 1.00 0.91 1.31 1.12 1.94 0.00 1.16 1.02 0.00

time (sec)

N/A 0.200 0.133 0.059 1.398 0.428 0.000 0.194 5.099 0.001

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

218 218 200 293 232 396 0 324 222 0

N.S.

1 1.00 0.92 1.34 1.06 1.82 0.00 1.49 1.02 0.00

time (sec)

N/A 0.264 0.166 0.067 1.459 0.473 0.000 0.188 5.171 0.001

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

258 258 238 349 280 448 0 380 265 0

N.S.

1 1.00 0.92 1.35 1.09 1.74 0.00 1.47 1.03 0.00

time (sec)

N/A 0.304 0.267 0.063 1.465 0.500 0.000 0.201 0.307 0.001

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

416 416 411 706 424 667 0 500 575 0

N.S.

1 1.00 0.99 1.70 1.02 1.60 0.00 1.20 1.38 0.00

time (sec)

N/A 0.742 0.688 0.066 3.056 0.443 0.000 0.203 5.241 0.001

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

384 384 380 668 380 634 0 491 425 0

N.S.

1 1.00 0.99 1.74 0.99 1.65 0.00 1.28 1.11 0.00

time (sec)

N/A 1.050 0.554 0.068 3.004 0.429 0.000 0.202 5.339 0.001

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

375 375 362 651 376 602 0 443 420 0

N.S.

1 1.00 0.97 1.74 1.00 1.61 0.00 1.18 1.12 0.00

time (sec)

N/A 0.606 0.468 0.064 3.033 0.436 0.000 0.197 5.351 0.001

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

345 345 329 611 330 1278 0 391 338 0

N.S.

1 1.00 0.95 1.77 0.96 3.70 0.00 1.13 0.98 0.00

time (sec)

N/A 0.763 0.365 0.061 3.075 0.448 0.000 0.203 5.530 0.001

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

336 336 323 596 326 1318 0 345 335 0

N.S.

1 1.00 0.96 1.77 0.97 3.92 0.00 1.03 1.00 0.00

time (sec)

N/A 0.509 0.368 0.053 3.035 0.446 0.000 0.197 5.302 0.001

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

316 316 300 574 311 1224 0 365 295 0

N.S.

1 1.00 0.95 1.82 0.98 3.87 0.00 1.16 0.93 0.00

time (sec)

N/A 0.505 0.292 0.063 3.096 0.446 0.000 0.201 5.271 0.001

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

307 307 294 561 305 1213 0 319 290 0

N.S.

1 1.00 0.96 1.83 0.99 3.95 0.00 1.04 0.94 0.00

time (sec)

N/A 0.412 0.308 0.065 3.061 0.467 0.000 0.216 5.143 0.001

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

301 301 284 550 296 1158 0 339 280 0

N.S.

1 1.00 0.94 1.83 0.98 3.85 0.00 1.13 0.93 0.00

time (sec)

N/A 0.368 0.321 0.059 2.942 0.444 0.000 0.206 5.268 0.001

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

292 292 279 539 291 1184 0 295 275 0

N.S.

1 1.00 0.96 1.85 1.00 4.05 0.00 1.01 0.94 0.00

time (sec)

N/A 0.307 0.235 0.062 3.068 0.453 0.000 0.198 5.196 0.001

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

303 303 286 547 300 1206 0 341 276 0

N.S.

1 1.00 0.94 1.81 0.99 3.98 0.00 1.13 0.91 0.00

time (sec)

N/A 0.339 0.293 0.116 2.961 0.459 0.000 0.210 5.198 0.001

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

301 301 283 539 302 1217 0 312 279 0

N.S.

1 1.00 0.94 1.79 1.00 4.04 0.00 1.04 0.93 0.00

time (sec)

N/A 0.329 0.295 0.061 3.073 0.463 0.000 0.215 5.164 0.001

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

317 317 303 574 317 1254 0 357 293 0

N.S.

1 1.00 0.96 1.81 1.00 3.96 0.00 1.13 0.92 0.00

time (sec)

N/A 0.370 0.320 0.066 3.031 0.463 0.000 0.244 5.232 0.002

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

316 316 299 566 318 1247 0 310 293 0

N.S.

1 1.00 0.95 1.79 1.01 3.95 0.00 0.98 0.93 0.00

time (sec)

N/A 0.368 0.275 0.063 3.051 0.466 0.000 0.231 5.196 0.001

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

343 343 328 611 343 1340 0 380 321 0

N.S.

1 1.00 0.96 1.78 1.00 3.91 0.00 1.11 0.94 0.00

time (sec)

N/A 0.569 0.312 0.069 3.046 0.465 0.000 0.315 5.262 0.001

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

341 341 324 603 343 1317 0 394 321 0

N.S.

1 1.00 0.95 1.77 1.01 3.86 0.00 1.16 0.94 0.00

time (sec)

N/A 0.547 0.346 0.062 2.949 0.459 0.000 0.232 5.217 0.001

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

381 381 366 659 376 621 0 486 359 0

N.S.

1 1.00 0.96 1.73 0.99 1.63 0.00 1.28 0.94 0.00

time (sec)

N/A 0.714 0.588 0.075 3.199 0.439 0.000 0.202 5.279 0.001

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

380 380 376 651 376 654 0 440 359 0

N.S.

1 1.00 0.99 1.71 0.99 1.72 0.00 1.16 0.94 0.00

time (sec)

N/A 0.669 0.577 0.066 3.286 0.447 0.000 0.350 5.176 0.001

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

424 424 419 716 427 686 0 531 397 0

N.S.

1 1.00 0.99 1.69 1.01 1.62 0.00 1.25 0.94 0.00

time (sec)

N/A 0.853 0.666 0.071 3.055 0.438 0.000 0.220 5.304 0.001

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

54 54 59 45 44 44 53 45 56 0

N.S.

1 1.00 1.09 0.83 0.81 0.81 0.98 0.83 1.04 0.00

time (sec)

N/A 0.072 0.015 0.047 2.897 0.404 0.180 0.162 0.099 0.001

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

30 30 30 25 24 24 24 25 24 0

N.S.

1 1.00 1.00 0.83 0.80 0.80 0.80 0.83 0.80 0.00

time (sec)

N/A 0.040 0.007 0.046 3.006 0.399 0.117 0.163 0.032 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

44 44 53 38 37 37 44 38 49 0

N.S.

1 1.00 1.20 0.86 0.84 0.84 1.00 0.86 1.11 0.00

time (sec)

N/A 0.060 0.011 0.048 2.962 0.414 0.230 0.152 4.961 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

41 41 50 35 34 34 42 35 63 0

N.S.

1 1.00 1.22 0.85 0.83 0.83 1.02 0.85 1.54 0.00

time (sec)

N/A 0.042 0.009 0.052 2.868 0.409 0.270 0.148 0.080 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

42 42 53 37 36 36 46 38 48 0

N.S.

1 1.00 1.26 0.88 0.86 0.86 1.10 0.90 1.14 0.00

time (sec)

N/A 0.049 0.009 0.051 2.879 0.420 0.208 0.164 4.960 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

49 49 60 44 43 48 49 45 55 0

N.S.

1 1.00 1.22 0.90 0.88 0.98 1.00 0.92 1.12 0.00

time (sec)

N/A 0.050 0.018 0.049 3.034 0.404 0.223 0.163 0.080 0.000

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

32 32 32 27 28 33 27 29 25 0

N.S.

1 1.00 1.00 0.84 0.88 1.03 0.84 0.91 0.78 0.00

time (sec)

N/A 0.033 0.005 0.046 2.996 0.385 0.128 0.147 0.069 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

41 41 47 35 34 34 42 35 63 0

N.S.

1 1.00 1.15 0.85 0.83 0.83 1.02 0.85 1.54 0.00

time (sec)

N/A 0.041 0.035 0.051 2.991 0.401 0.184 0.151 4.956 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

39 39 53 33 32 32 41 33 63 0

N.S.

1 1.00 1.36 0.85 0.82 0.82 1.05 0.85 1.62 0.00

time (sec)

N/A 0.040 0.020 0.063 2.988 0.400 0.159 0.152 0.089 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

55 55 55 44 43 43 49 45 43 0

N.S.

1 1.00 1.00 0.80 0.78 0.78 0.89 0.82 0.78 0.00

time (sec)

N/A 0.055 0.025 0.041 1.334 0.347 0.075 0.199 0.028 0.000

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

55 55 55 44 43 43 49 45 43 0

N.S.

1 1.00 1.00 0.80 0.78 0.78 0.89 0.82 0.78 0.00

time (sec)

N/A 0.038 0.003 0.048 1.359 0.354 0.074 0.177 0.025 0.000

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 50 41 40 40 46 42 40 0

N.S.

1 1.00 1.00 0.82 0.80 0.80 0.92 0.84 0.80 0.00

time (sec)

N/A 0.025 0.002 0.045 1.345 0.367 0.074 0.147 0.024 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

46 46 46 39 38 38 44 41 38 0

N.S.

1 1.00 1.00 0.85 0.83 0.83 0.96 0.89 0.83 0.00

time (sec)

N/A 0.025 0.005 0.048 1.326 0.401 0.139 0.153 0.029 0.001

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

44 44 44 39 38 45 41 41 38 0

N.S.

1 1.00 1.00 0.89 0.86 1.02 0.93 0.93 0.86 0.00

time (sec)

N/A 0.035 0.006 0.058 1.335 0.409 0.164 0.149 0.030 0.001

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

44 44 44 39 38 45 44 41 38 0

N.S.

1 1.00 1.00 0.89 0.86 1.02 1.00 0.93 0.86 0.00

time (sec)

N/A 0.034 0.011 0.056 1.351 0.408 0.247 0.163 0.028 0.001

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

82 82 97 80 79 79 92 82 79 0

N.S.

1 1.00 1.18 0.98 0.96 0.96 1.12 1.00 0.96 0.00

time (sec)

N/A 0.059 0.004 0.049 1.352 0.345 0.089 0.163 0.040 0.000

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

82 82 97 80 79 79 94 82 79 0

N.S.

1 1.00 1.18 0.98 0.96 0.96 1.15 1.00 0.96 0.00

time (sec)

N/A 0.051 0.003 0.046 1.292 0.353 0.086 0.150 0.038 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

77 77 92 77 76 76 88 79 76 0

N.S.

1 1.00 1.19 1.00 0.99 0.99 1.14 1.03 0.99 0.00

time (sec)

N/A 0.061 0.004 0.043 1.404 0.365 0.087 0.178 0.038 0.000

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

88 88 88 75 74 74 88 78 74 0

N.S.

1 1.00 1.00 0.85 0.84 0.84 1.00 0.89 0.84 0.00

time (sec)

N/A 0.052 0.010 0.040 1.371 0.409 0.190 0.151 0.042 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

83 83 83 74 73 81 82 77 73 0

N.S.

1 1.00 1.00 0.89 0.88 0.98 0.99 0.93 0.88 0.00

time (sec)

N/A 0.063 0.014 0.058 1.297 0.410 0.248 0.150 0.042 0.001

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

84 84 84 75 74 81 87 78 74 0

N.S.

1 1.00 1.00 0.89 0.88 0.96 1.04 0.93 0.88 0.00

time (sec)

N/A 0.064 0.009 0.052 1.311 0.393 0.308 0.165 0.038 0.001

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

110 110 139 116 115 115 138 119 115 0

N.S.

1 1.00 1.26 1.05 1.05 1.05 1.25 1.08 1.05 0.00

time (sec)

N/A 0.079 0.005 0.043 1.332 0.354 0.091 0.157 0.078 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

110 110 139 116 115 115 138 119 115 0

N.S.

1 1.00 1.26 1.05 1.05 1.05 1.25 1.08 1.05 0.00

time (sec)

N/A 0.069 0.005 0.040 1.371 0.371 0.089 0.169 0.074 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

105 105 134 113 112 112 134 116 112 0

N.S.

1 1.00 1.28 1.08 1.07 1.07 1.28 1.10 1.07 0.00

time (sec)

N/A 0.097 0.037 0.052 1.329 0.366 0.139 0.149 0.073 0.000

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

127 127 127 110 109 109 131 114 109 0

N.S.

1 1.00 1.00 0.87 0.86 0.86 1.03 0.90 0.86 0.00

time (sec)

N/A 0.074 0.012 0.048 1.286 0.395 0.294 0.152 0.079 0.001

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

125 125 125 110 109 117 128 114 109 0

N.S.

1 1.00 1.00 0.88 0.87 0.94 1.02 0.91 0.87 0.00

time (sec)

N/A 0.092 0.016 0.050 1.350 0.385 0.289 0.181 0.081 0.001

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

126 126 126 111 110 117 131 115 110 0

N.S.

1 1.00 1.00 0.88 0.87 0.93 1.04 0.91 0.87 0.00

time (sec)

N/A 0.086 0.010 0.046 1.325 0.407 0.362 0.153 4.896 0.001

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

138 138 181 152 151 151 184 156 151 0

N.S.

1 1.00 1.31 1.10 1.09 1.09 1.33 1.13 1.09 0.00

time (sec)

N/A 0.099 0.006 0.040 1.310 0.358 0.107 0.165 5.073 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

138 138 181 152 151 151 185 156 151 0

N.S.

1 1.00 1.31 1.10 1.09 1.09 1.34 1.13 1.09 0.00

time (sec)

N/A 0.093 0.005 0.041 1.336 0.352 0.113 0.158 0.131 0.000

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

130 130 173 148 147 147 178 152 147 0

N.S.

1 1.00 1.33 1.14 1.13 1.13 1.37 1.17 1.13 0.00

time (sec)

N/A 0.145 0.005 0.040 1.314 0.359 0.102 0.167 0.152 0.000

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

166 166 166 145 144 144 175 150 144 0

N.S.

1 1.00 1.00 0.87 0.87 0.87 1.05 0.90 0.87 0.00

time (sec)

N/A 0.109 0.010 0.044 1.301 0.412 0.336 0.153 0.141 0.001

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

162 162 162 145 144 153 168 150 144 0

N.S.

1 1.00 1.00 0.90 0.89 0.94 1.04 0.93 0.89 0.00

time (sec)

N/A 0.133 0.012 0.052 1.311 0.393 0.379 0.159 4.994 0.001

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

166 166 166 147 146 153 175 152 146 0

N.S.

1 1.00 1.00 0.89 0.88 0.92 1.05 0.92 0.88 0.00

time (sec)

N/A 0.125 0.010 0.051 1.334 0.408 0.443 0.166 4.993 0.001

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

205 205 191 231 190 4798 178 208 319 0

N.S.

1 1.00 0.93 1.13 0.93 23.40 0.87 1.01 1.56 0.00

time (sec)

N/A 0.261 0.111 0.044 2.942 1.270 1.639 0.180 5.067 0.002

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

193 193 184 221 181 4261 150 195 340 0

N.S.

1 1.00 0.95 1.15 0.94 22.08 0.78 1.01 1.76 0.00

time (sec)

N/A 0.248 0.096 0.049 2.936 1.236 1.490 0.211 5.133 0.001

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

183 183 200 209 173 4628 160 178 266 0

N.S.

1 1.00 1.09 1.14 0.95 25.29 0.87 0.97 1.45 0.00

time (sec)

N/A 0.226 0.060 0.046 2.943 1.235 1.432 0.208 5.162 0.001

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

177 177 176 200 159 4671 160 163 274 0

N.S.

1 1.00 0.99 1.13 0.90 26.39 0.90 0.92 1.55 0.00

time (sec)

N/A 0.132 0.105 0.046 3.013 1.202 1.423 0.180 0.257 0.001

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

184 184 176 207 176 4588 0 179 716 0

N.S.

1 1.00 0.96 1.12 0.96 24.93 0.00 0.97 3.89 0.00

time (sec)

N/A 0.206 0.099 0.053 3.018 1.383 0.000 0.184 5.247 0.002

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

192 192 184 216 186 4524 0 201 723 0

N.S.

1 1.00 0.96 1.12 0.97 23.56 0.00 1.05 3.77 0.00

time (sec)

N/A 0.214 0.254 0.049 2.981 1.431 0.000 0.230 5.056 0.001

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

203 203 192 225 177 4279 0 204 701 0

N.S.

1 1.00 0.95 1.11 0.87 21.08 0.00 1.00 3.45 0.00

time (sec)

N/A 0.194 0.231 0.218 3.032 1.343 0.000 0.183 0.131 0.001

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

190 190 174 219 163 2077 110 180 180 0

N.S.

1 1.00 0.92 1.15 0.86 10.93 0.58 0.95 0.95 0.00

time (sec)

N/A 0.166 0.203 0.053 3.033 1.209 2.333 0.204 0.220 0.001

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

200 200 186 228 185 2358 124 190 194 0

N.S.

1 1.00 0.93 1.14 0.92 11.79 0.62 0.95 0.97 0.00

time (sec)

N/A 0.153 0.204 0.052 2.840 1.219 1.853 0.182 5.167 0.001

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

199 199 189 253 179 2118 116 184 175 0

N.S.

1 1.00 0.95 1.27 0.90 10.64 0.58 0.92 0.88 0.00

time (sec)

N/A 0.132 0.282 0.045 3.025 1.203 1.385 0.183 0.251 0.001

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

222 222 199 274 203 5018 0 217 490 0

N.S.

1 1.00 0.90 1.23 0.91 22.60 0.00 0.98 2.21 0.00

time (sec)

N/A 0.313 0.236 0.058 2.938 1.420 0.000 0.183 0.380 0.001

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

231 231 213 275 222 4976 0 237 488 0

N.S.

1 1.00 0.92 1.19 0.96 21.54 0.00 1.03 2.11 0.00

time (sec)

N/A 0.343 0.336 0.061 3.099 1.471 0.000 0.180 5.468 0.001

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

242 242 221 276 220 4774 0 248 733 0

N.S.

1 1.00 0.91 1.14 0.91 19.73 0.00 1.02 3.03 0.00

time (sec)

N/A 0.345 0.216 0.059 2.862 1.409 0.000 0.197 5.394 0.001

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

262 262 225 289 236 5373 0 269 537 0

N.S.

1 1.00 0.86 1.10 0.90 20.51 0.00 1.03 2.05 0.00

time (sec)

N/A 0.404 0.298 0.058 3.066 1.560 0.000 0.181 5.484 0.001

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

215 215 198 255 203 2163 148 208 216 0

N.S.

1 1.00 0.92 1.19 0.94 10.06 0.69 0.97 1.00 0.00

time (sec)

N/A 0.197 0.208 0.057 3.020 1.279 6.261 0.205 0.232 0.001

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

239 239 214 256 223 2519 170 215 232 0

N.S.

1 1.00 0.90 1.07 0.93 10.54 0.71 0.90 0.97 0.00

time (sec)

N/A 0.204 0.404 0.054 3.055 1.324 3.991 0.197 0.225 0.001

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

225 225 213 308 219 2251 163 210 212 0

N.S.

1 1.00 0.95 1.37 0.97 10.00 0.72 0.93 0.94 0.00

time (sec)

N/A 0.188 0.375 0.049 2.992 1.185 2.277 0.213 0.262 0.001

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

257 257 229 331 246 5229 0 253 540 0

N.S.

1 1.00 0.89 1.29 0.96 20.35 0.00 0.98 2.10 0.00

time (sec)

N/A 0.414 0.206 0.073 3.004 1.436 0.000 0.244 5.440 0.001

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

267 267 248 334 266 5112 0 273 793 0

N.S.

1 1.00 0.93 1.25 1.00 19.15 0.00 1.02 2.97 0.00

time (sec)

N/A 0.462 0.330 0.061 3.094 1.531 0.000 0.207 5.460 0.001

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

276 276 253 337 265 4911 0 282 778 0

N.S.

1 1.00 0.92 1.22 0.96 17.79 0.00 1.02 2.82 0.00

time (sec)

N/A 0.500 0.334 0.065 3.106 1.428 0.000 0.193 5.358 0.001

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

298 298 255 351 283 5550 0 305 870 0

N.S.

1 1.00 0.86 1.18 0.95 18.62 0.00 1.02 2.92 0.00

time (sec)

N/A 0.589 0.460 0.063 3.027 1.686 0.000 0.259 0.465 0.001

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

248 248 230 275 248 2364 201 242 253 0

N.S.

1 1.00 0.93 1.11 1.00 9.53 0.81 0.98 1.02 0.00

time (sec)

N/A 0.242 0.288 0.056 3.006 1.525 17.943 0.212 0.267 0.001

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

270 270 241 278 260 2646 214 244 265 0

N.S.

1 1.00 0.89 1.03 0.96 9.80 0.79 0.90 0.98 0.00

time (sec)

N/A 0.254 0.427 0.055 3.029 1.454 8.787 0.238 0.239 0.001

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

250 250 239 360 254 2344 202 234 247 0

N.S.

1 1.00 0.96 1.44 1.02 9.38 0.81 0.94 0.99 0.00

time (sec)

N/A 0.222 0.279 0.055 2.991 1.217 4.470 0.205 0.279 0.001

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

291 291 259 394 293 5370 0 290 871 0

N.S.

1 1.00 0.89 1.35 1.01 18.45 0.00 1.00 2.99 0.00

time (sec)

N/A 0.517 0.310 0.063 3.037 1.547 0.000 0.238 5.402 0.001

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

301 301 279 397 313 5250 0 310 840 0

N.S.

1 1.00 0.93 1.32 1.04 17.44 0.00 1.03 2.79 0.00

time (sec)

N/A 0.601 0.313 0.067 2.995 1.556 0.000 0.184 5.434 0.001

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

310 310 284 400 312 5049 0 320 825 0

N.S.

1 1.00 0.92 1.29 1.01 16.29 0.00 1.03 2.66 0.00

time (sec)

N/A 0.656 0.315 0.067 3.104 1.453 0.000 0.185 5.375 0.001

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

340 340 284 415 330 5670 0 333 918 0

N.S.

1 1.00 0.84 1.22 0.97 16.68 0.00 0.98 2.70 0.00

time (sec)

N/A 0.773 0.602 0.066 3.081 2.030 0.000 0.197 0.525 0.001

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

29 29 57 29 26 26 54 27 26 0

N.S.

1 1.00 1.97 1.00 0.90 0.90 1.86 0.93 0.90 0.00

time (sec)

N/A 0.058 0.019 0.052 2.892 0.398 0.179 0.155 4.970 0.001

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

29 29 57 29 26 26 54 27 26 0

N.S.

1 1.00 1.97 1.00 0.90 0.90 1.86 0.93 0.90 0.00

time (sec)

N/A 0.035 0.007 0.052 2.967 0.415 0.168 0.154 0.027 0.000

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

31 31 58 29 28 28 54 29 27 0

N.S.

1 1.00 1.87 0.94 0.90 0.90 1.74 0.94 0.87 0.00

time (sec)

N/A 0.056 0.015 0.049 2.923 0.435 0.173 0.154 4.946 0.001

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

31 31 58 29 28 28 54 29 27 0

N.S.

1 1.00 1.87 0.94 0.90 0.90 1.74 0.94 0.87 0.00

time (sec)

N/A 0.037 0.007 0.058 2.838 0.397 0.169 0.151 0.030 0.001

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A A A C B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 146 87 51 52 100 174 154 0

N.S.

1 1.00 2.92 1.74 1.02 1.04 2.00 3.48 3.08 0.00

time (sec)

N/A 0.087 0.044 0.049 3.068 0.435 0.322 0.480 5.223 0.001

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B A C B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

53 53 149 135 166 53 110 165 156 0

N.S.

1 1.00 2.81 2.55 3.13 1.00 2.08 3.11 2.94 0.00

time (sec)

N/A 0.093 0.084 0.052 3.021 0.443 0.349 0.205 5.250 0.001

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B A C B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

54 54 148 132 167 56 109 97 155 0

N.S.

1 1.00 2.74 2.44 3.09 1.04 2.02 1.80 2.87 0.00

time (sec)

N/A 0.077 0.051 0.056 2.994 0.443 0.319 0.190 5.224 0.001

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A A A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

53 53 147 90 52 53 102 90 155 0

N.S.

1 1.00 2.77 1.70 0.98 1.00 1.92 1.70 2.92 0.00

time (sec)

N/A 0.076 0.063 0.051 3.018 0.427 0.372 0.196 5.234 0.002

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

97 97 97 80 79 85 90 87 82 0

N.S.

1 1.00 1.00 0.82 0.81 0.88 0.93 0.90 0.85 0.00

time (sec)

N/A 0.121 0.043 0.046 1.353 0.356 0.086 0.155 0.051 0.000

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

97 97 97 80 79 85 90 87 82 0

N.S.

1 1.00 1.00 0.82 0.81 0.88 0.93 0.90 0.85 0.00

time (sec)

N/A 0.101 0.036 0.048 1.346 0.356 0.087 0.161 0.042 0.000

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

97 97 97 80 79 85 90 87 82 0

N.S.

1 1.00 1.00 0.82 0.81 0.88 0.93 0.90 0.85 0.00

time (sec)

N/A 0.091 0.032 0.046 1.337 0.372 0.085 0.164 0.044 0.000

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

97 97 97 80 79 85 90 87 82 0

N.S.

1 1.00 1.00 0.82 0.81 0.88 0.93 0.90 0.85 0.00

time (sec)

N/A 0.080 0.027 0.046 1.374 0.374 0.084 0.147 0.043 0.000

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

92 92 92 77 76 82 87 84 79 0

N.S.

1 1.00 1.00 0.84 0.83 0.89 0.95 0.91 0.86 0.00

time (sec)

N/A 0.073 0.015 0.040 1.405 0.368 0.084 0.148 0.041 0.000

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

88 88 88 81 74 74 85 83 77 0

N.S.

1 1.00 1.00 0.92 0.84 0.84 0.97 0.94 0.88 0.00

time (sec)

N/A 0.058 0.065 0.049 1.344 0.405 0.222 0.152 0.047 0.001

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

86 86 86 81 74 81 82 83 77 0

N.S.

1 1.00 1.00 0.94 0.86 0.94 0.95 0.97 0.90 0.00

time (sec)

N/A 0.066 0.073 0.051 1.352 0.396 0.235 0.163 0.048 0.001

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

86 86 78 78 74 81 83 80 76 0

N.S.

1 1.00 0.91 0.91 0.86 0.94 0.97 0.93 0.88 0.00

time (sec)

N/A 0.072 0.072 0.051 1.342 0.412 0.306 0.162 0.043 0.001

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

86 86 76 76 75 81 83 79 75 0

N.S.

1 1.00 0.88 0.88 0.87 0.94 0.97 0.92 0.87 0.00

time (sec)

N/A 0.071 0.069 0.048 1.363 0.400 0.669 0.169 0.041 0.002

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

86 86 77 76 75 81 83 77 74 0

N.S.

1 1.00 0.90 0.88 0.87 0.94 0.97 0.90 0.86 0.00

time (sec)

N/A 0.073 0.076 0.051 1.341 0.399 2.569 0.152 4.976 0.001

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

163 163 163 152 151 157 167 160 151 0

N.S.

1 1.00 1.00 0.93 0.93 0.96 1.02 0.98 0.93 0.00

time (sec)

N/A 0.210 0.050 0.043 1.374 0.370 0.101 0.154 0.102 0.000

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

163 163 163 152 151 157 167 160 151 0

N.S.

1 1.00 1.00 0.93 0.93 0.96 1.02 0.98 0.93 0.00

time (sec)

N/A 0.159 0.032 0.042 1.349 0.370 0.105 0.153 0.088 0.001

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

158 158 150 152 151 157 167 160 151 0

N.S.

1 1.00 0.95 0.96 0.96 0.99 1.06 1.01 0.96 0.00

time (sec)

N/A 0.126 0.082 0.042 1.376 0.342 0.104 0.182 0.091 0.000

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

158 158 163 152 151 157 167 160 151 0

N.S.

1 1.00 1.03 0.96 0.96 0.99 1.06 1.01 0.96 0.00

time (sec)

N/A 0.129 0.026 0.037 1.277 0.367 0.104 0.188 0.091 0.001

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

153 153 125 149 148 154 163 157 148 0

N.S.

1 1.00 0.82 0.97 0.97 1.01 1.07 1.03 0.97 0.00

time (sec)

N/A 0.127 0.087 0.043 1.318 0.370 0.103 0.164 0.092 0.000

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

149 149 154 153 146 146 162 156 146 0

N.S.

1 1.00 1.03 1.03 0.98 0.98 1.09 1.05 0.98 0.00

time (sec)

N/A 0.106 0.046 0.045 1.314 0.403 0.341 0.151 0.096 0.001

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

147 147 152 152 146 153 156 155 145 0

N.S.

1 1.00 1.03 1.03 0.99 1.04 1.06 1.05 0.99 0.00

time (sec)

N/A 0.128 0.070 0.052 1.398 0.412 0.360 0.152 0.098 0.001

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

147 147 127 150 146 153 158 153 145 0

N.S.

1 1.00 0.86 1.02 0.99 1.04 1.07 1.04 0.99 0.00

time (sec)

N/A 0.128 0.095 0.050 1.347 0.403 0.446 0.153 5.008 0.001

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

152 152 123 149 147 153 158 153 145 0

N.S.

1 1.00 0.81 0.98 0.97 1.01 1.04 1.01 0.95 0.00

time (sec)

N/A 0.118 0.101 0.049 1.322 0.398 0.880 0.172 0.076 0.001

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

152 152 125 149 147 153 156 152 145 0

N.S.

1 1.00 0.82 0.98 0.97 1.01 1.03 1.00 0.95 0.00

time (sec)

N/A 0.117 0.115 0.054 1.366 0.410 3.235 0.170 0.066 0.001

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

223 223 223 224 217 229 246 233 205 0

N.S.

1 1.00 1.00 1.00 0.97 1.03 1.10 1.04 0.92 0.00

time (sec)

N/A 0.293 0.062 0.037 1.373 0.365 0.124 0.152 0.174 0.000

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

223 223 223 224 217 229 246 233 205 0

N.S.

1 1.00 1.00 1.00 0.97 1.03 1.10 1.04 0.92 0.00

time (sec)

N/A 0.228 0.055 0.045 1.375 0.370 0.118 0.170 5.165 0.000

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

212 212 223 224 217 229 246 233 205 0

N.S.

1 1.00 1.05 1.06 1.02 1.08 1.16 1.10 0.97 0.00

time (sec)

N/A 0.179 0.063 0.048 1.356 0.376 0.125 0.176 0.162 0.000

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

212 212 223 224 217 229 246 233 205 0

N.S.

1 1.00 1.05 1.06 1.02 1.08 1.16 1.10 0.97 0.00

time (sec)

N/A 0.177 0.037 0.039 1.345 0.356 0.114 0.166 0.157 0.000

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

207 207 170 221 214 226 243 230 202 0

N.S.

1 1.00 0.82 1.07 1.03 1.09 1.17 1.11 0.98 0.00

time (sec)

N/A 0.177 0.109 0.042 1.338 0.373 0.121 0.152 0.157 0.000

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

200 200 214 224 212 212 240 228 199 0

N.S.

1 1.00 1.07 1.12 1.06 1.06 1.20 1.14 1.00 0.00

time (sec)

N/A 0.146 0.135 0.047 1.424 0.423 0.541 0.159 5.113 0.001

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

198 198 172 224 212 219 236 228 199 0

N.S.

1 1.00 0.87 1.13 1.07 1.11 1.19 1.15 1.01 0.00

time (sec)

N/A 0.182 0.208 0.052 1.292 0.412 0.511 0.155 5.045 0.001

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

198 198 174 222 212 219 238 226 199 0

N.S.

1 1.00 0.88 1.12 1.07 1.11 1.20 1.14 1.01 0.00

time (sec)

N/A 0.197 0.148 0.058 1.383 0.420 0.593 0.158 0.137 0.001

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

209 209 172 220 212 219 236 225 199 0

N.S.

1 1.00 0.82 1.05 1.01 1.05 1.13 1.08 0.95 0.00

time (sec)

N/A 0.180 0.146 0.050 1.360 0.421 1.043 0.185 0.122 0.001

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

209 209 170 220 212 219 235 224 199 0

N.S.

1 1.00 0.81 1.05 1.01 1.05 1.12 1.07 0.95 0.00

time (sec)

N/A 0.177 0.160 0.046 1.394 0.405 3.137 0.155 5.027 0.001

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

331 331 334 533 378 0 881 380 1271 0

N.S.

1 1.00 1.01 1.61 1.14 0.00 2.66 1.15 3.84 0.00

time (sec)

N/A 1.070 0.558 0.049 2.978 0.000 60.517 0.200 5.086 0.001

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

313 313 299 505 332 0 845 353 1236 0

N.S.

1 1.00 0.96 1.61 1.06 0.00 2.70 1.13 3.95 0.00

time (sec)

N/A 0.988 0.292 0.049 2.896 0.000 73.527 0.184 4.992 0.001

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

294 294 290 483 313 0 790 333 1170 0

N.S.

1 1.00 0.99 1.64 1.06 0.00 2.69 1.13 3.98 0.00

time (sec)

N/A 0.976 0.313 0.047 2.997 0.000 88.696 0.244 5.023 0.001

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

275 275 272 455 300 0 811 295 1161 0

N.S.

1 1.00 0.99 1.65 1.09 0.00 2.95 1.07 4.22 0.00

time (sec)

N/A 0.921 0.480 0.044 3.029 0.000 63.001 0.284 4.989 0.001

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

259 257 254 429 266 0 804 272 1150 0

N.S.

1 0.99 0.98 1.66 1.03 0.00 3.10 1.05 4.44 0.00

time (sec)

N/A 0.373 0.388 0.049 3.037 0.000 59.388 0.190 5.033 0.001

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

258 256 258 426 290 0 0 281 1731 0

N.S.

1 0.99 1.00 1.65 1.12 0.00 0.00 1.09 6.71 0.00

time (sec)

N/A 0.471 0.314 0.051 3.019 0.000 0.000 0.189 5.097 0.001

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

253 253 257 423 290 0 0 277 1802 0

N.S.

1 1.00 1.02 1.67 1.15 0.00 0.00 1.09 7.12 0.00

time (sec)

N/A 0.454 0.321 0.056 3.025 0.000 0.000 0.187 5.087 0.001

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

260 258 257 423 271 0 0 269 6948 0

N.S.

1 0.99 0.99 1.63 1.04 0.00 0.00 1.03 26.72 0.00

time (sec)

N/A 0.380 0.464 0.050 2.996 0.000 0.000 0.275 5.205 0.001

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

276 274 264 442 302 0 0 291 1842 0

N.S.

1 0.99 0.96 1.60 1.09 0.00 0.00 1.05 6.67 0.00

time (sec)

N/A 0.436 0.547 0.056 3.079 0.000 0.000 0.226 5.870 0.001

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

337 337 334 562 364 0 0 357 1241 0

N.S.

1 1.00 0.99 1.67 1.08 0.00 0.00 1.06 3.68 0.00

time (sec)

N/A 0.717 0.574 0.060 3.054 0.000 0.000 0.199 5.109 0.001

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

311 311 294 533 329 0 0 330 1229 0

N.S.

1 1.00 0.95 1.71 1.06 0.00 0.00 1.06 3.95 0.00

time (sec)

N/A 0.640 0.222 0.058 3.136 0.000 0.000 0.214 0.152 0.001

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

290 288 280 506 283 12153 0 307 816 0

N.S.

1 0.99 0.97 1.74 0.98 41.91 0.00 1.06 2.81 0.00

time (sec)

N/A 0.498 0.251 0.056 3.027 1.814 0.000 0.190 0.137 0.001

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

289 289 285 502 311 12617 0 318 827 0

N.S.

1 1.00 0.99 1.74 1.08 43.66 0.00 1.10 2.86 0.00

time (sec)

N/A 0.505 0.260 0.050 2.963 2.035 0.000 0.199 5.390 0.001

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

276 276 268 462 292 12636 0 302 835 0

N.S.

1 1.00 0.97 1.67 1.06 45.78 0.00 1.09 3.03 0.00

time (sec)

N/A 0.370 0.209 0.048 2.953 1.869 0.000 0.194 5.540 0.001

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

289 287 269 507 302 12541 0 319 1660 0

N.S.

1 0.99 0.93 1.75 1.04 43.39 0.00 1.10 5.74 0.00

time (sec)

N/A 0.559 0.223 0.061 3.045 35.287 0.000 0.203 5.601 0.001

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

301 301 285 517 329 12556 0 328 1684 0

N.S.

1 1.00 0.95 1.72 1.09 41.71 0.00 1.09 5.59 0.00

time (sec)

N/A 0.593 0.402 0.061 3.135 35.588 0.000 0.201 5.768 0.001

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

306 304 292 527 316 12231 0 336 1632 0

N.S.

1 0.99 0.95 1.72 1.03 39.97 0.00 1.10 5.33 0.00

time (sec)

N/A 0.577 0.539 0.066 3.063 24.670 0.000 0.191 5.712 0.001

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

338 336 303 561 365 0 0 363 1924 0

N.S.

1 0.99 0.90 1.66 1.08 0.00 0.00 1.07 5.69 0.00

time (sec)

N/A 0.727 0.622 0.062 3.079 0.000 0.000 0.229 5.958 0.001

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

345 345 342 619 391 12967 0 385 916 0

N.S.

1 1.00 0.99 1.79 1.13 37.59 0.00 1.12 2.66 0.00

time (sec)

N/A 0.891 0.376 0.064 3.129 2.693 0.000 0.207 0.579 0.001

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

325 325 315 515 366 12939 0 363 908 0

N.S.

1 1.00 0.97 1.58 1.13 39.81 0.00 1.12 2.79 0.00

time (sec)

N/A 0.642 0.338 0.060 3.119 2.467 0.000 0.777 5.659 0.001

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

297 297 287 490 308 6926 0 320 627 0

N.S.

1 1.00 0.97 1.65 1.04 23.32 0.00 1.08 2.11 0.00

time (sec)

N/A 0.430 0.302 0.057 3.051 1.936 0.000 0.230 5.690 0.001

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

323 323 297 498 344 7190 0 340 640 0

N.S.

1 1.00 0.92 1.54 1.07 22.26 0.00 1.05 1.98 0.00

time (sec)

N/A 0.482 0.358 0.056 3.067 2.229 0.000 0.207 5.365 0.001

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

313 313 295 506 327 6984 0 330 630 0

N.S.

1 1.00 0.94 1.62 1.04 22.31 0.00 1.05 2.01 0.00

time (sec)

N/A 0.429 0.282 0.057 3.107 1.940 0.000 0.218 0.432 0.001

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

347 345 311 618 368 12815 0 376 1716 0

N.S.

1 0.99 0.90 1.78 1.06 36.93 0.00 1.08 4.95 0.00

time (sec)

N/A 0.723 0.349 0.068 3.112 35.656 0.000 0.265 5.705 0.001

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

362 362 336 622 400 12951 0 390 1747 0

N.S.

1 1.00 0.93 1.72 1.10 35.78 0.00 1.08 4.83 0.00

time (sec)

N/A 0.830 0.779 0.064 3.074 36.805 0.000 0.220 5.747 0.001

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A C F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

360 357 337 626 390 12435 0 399 1697 0

N.S.

1 0.99 0.94 1.74 1.08 34.54 0.00 1.11 4.71 0.00

time (sec)

N/A 0.814 0.713 0.066 3.102 26.933 0.000 0.226 5.659 0.001

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

395 392 352 680 444 0 0 431 1994 0

N.S.

1 0.99 0.89 1.72 1.12 0.00 0.00 1.09 5.05 0.00

time (sec)

N/A 1.006 0.789 0.070 3.089 0.000 0.000 0.203 6.321 0.001

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

68 68 68 55 54 54 63 56 54 0

N.S.

1 1.00 1.00 0.81 0.79 0.79 0.93 0.82 0.79 0.00

time (sec)

N/A 0.044 0.006 0.043 1.319 0.336 0.078 0.151 0.035 0.000

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

73 73 73 58 57 57 66 59 57 0

N.S.

1 1.00 1.00 0.79 0.78 0.78 0.90 0.81 0.78 0.00

time (sec)

N/A 0.064 0.004 0.045 1.334 0.356 0.073 0.156 0.031 0.000

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

109 109 124 103 102 102 121 105 102 0

N.S.

1 1.00 1.14 0.94 0.94 0.94 1.11 0.96 0.94 0.00

time (sec)

N/A 0.074 0.004 0.043 1.356 0.335 0.088 0.160 0.080 0.000

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

114 114 129 106 105 105 124 108 105 0

N.S.

1 1.00 1.13 0.93 0.92 0.92 1.09 0.95 0.92 0.00

time (sec)

N/A 0.084 0.005 0.043 1.329 0.365 0.089 0.149 0.072 0.000

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

151 151 180 151 150 150 180 154 150 0

N.S.

1 1.00 1.19 1.00 0.99 0.99 1.19 1.02 0.99 0.00

time (sec)

N/A 0.108 0.005 0.043 1.369 0.339 0.096 0.157 0.164 0.000

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

156 156 185 154 153 153 184 157 153 0

N.S.

1 1.00 1.19 0.99 0.98 0.98 1.18 1.01 0.98 0.00

time (sec)

N/A 0.113 0.018 0.043 1.382 0.345 0.099 0.164 0.161 0.000

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

193 193 236 199 198 198 241 203 198 0

N.S.

1 1.00 1.22 1.03 1.03 1.03 1.25 1.05 1.03 0.00

time (sec)

N/A 0.156 0.007 0.043 1.330 0.357 0.103 0.173 5.080 0.000

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

198 198 241 202 201 201 245 206 201 0

N.S.

1 1.00 1.22 1.02 1.02 1.02 1.24 1.04 1.02 0.00

time (sec)

N/A 0.150 0.007 0.043 1.371 0.375 0.110 0.193 0.359 0.000

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

133 133 214 177 174 0 0 280 1970 0

N.S.

1 1.00 1.61 1.33 1.31 0.00 0.00 2.11 14.81 0.00

time (sec)

N/A 0.124 0.113 0.046 3.031 0.000 0.000 0.186 5.658 0.001

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

162 162 221 208 208 0 0 328 846 0

N.S.

1 1.00 1.36 1.28 1.28 0.00 0.00 2.02 5.22 0.00

time (sec)

N/A 0.203 0.095 0.044 2.976 0.000 0.000 0.190 4.846 0.001

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

293 293 296 294 277 0 0 290 1952 0

N.S.

1 1.00 1.01 1.00 0.95 0.00 0.00 0.99 6.66 0.00

time (sec)

N/A 0.222 0.231 0.052 3.030 0.000 0.000 0.184 0.927 0.001

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

321 321 311 325 305 0 0 308 838 0

N.S.

1 1.00 0.97 1.01 0.95 0.00 0.00 0.96 2.61 0.00

time (sec)

N/A 0.334 0.239 0.053 3.015 0.000 0.000 0.185 4.854 0.001

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

318 318 315 362 305 0 517 316 478 0

N.S.

1 1.00 0.99 1.14 0.96 0.00 1.63 0.99 1.50 0.00

time (sec)

N/A 0.270 0.406 0.049 3.058 0.000 22.319 0.184 0.360 0.001

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

310 310 294 334 294 0 510 303 559 0

N.S.

1 1.00 0.95 1.08 0.95 0.00 1.65 0.98 1.80 0.00

time (sec)

N/A 0.274 0.383 0.054 3.022 0.000 44.229 0.215 5.097 0.001

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

351 351 347 432 355 0 578 354 832 0

N.S.

1 1.00 0.99 1.23 1.01 0.00 1.65 1.01 2.37 0.00

time (sec)

N/A 0.318 0.439 0.052 3.019 0.000 108.467 0.192 5.199 0.001

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

340 340 329 373 343 0 0 338 521 0

N.S.

1 1.00 0.97 1.10 1.01 0.00 0.00 0.99 1.53 0.00

time (sec)

N/A 0.328 0.391 0.060 3.084 0.000 0.000 0.294 0.396 0.001

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

382 382 379 400 402 0 0 391 879 0

N.S.

1 1.00 0.99 1.05 1.05 0.00 0.00 1.02 2.30 0.00

time (sec)

N/A 0.406 0.442 0.063 3.088 0.000 0.000 0.329 5.255 0.001

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

380 380 366 403 396 0 0 380 888 0

N.S.

1 1.00 0.96 1.06 1.04 0.00 0.00 1.00 2.34 0.00

time (sec)

N/A 0.402 0.459 0.065 3.125 0.000 0.000 0.185 0.482 0.001

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

8 8 8 7 6 6 5 7 6 0

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.62 0.88 0.75 0.00

time (sec)

N/A 0.010 0.001 0.037 1.302 0.407 0.085 0.170 0.023 0.000

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

10 10 10 9 8 8 7 9 6 0

N.S.

1 1.00 1.00 0.90 0.80 0.80 0.70 0.90 0.60 0.00

time (sec)

N/A 0.015 0.001 0.042 1.334 0.395 0.080 0.192 0.056 0.000

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

10 10 10 9 8 8 8 9 6 0

N.S.

1 1.00 1.00 0.90 0.80 0.80 0.80 0.90 0.60 0.00

time (sec)

N/A 0.013 0.001 0.041 1.392 0.381 0.093 0.182 4.992 0.001

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

10 10 21 18 17 17 15 15 6 0

N.S.

1 1.00 2.10 1.80 1.70 1.70 1.50 1.50 0.60 0.00

time (sec)

N/A 0.010 0.003 0.047 1.329 0.397 0.110 0.196 0.097 0.001

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

24 24 24 17 16 16 24 16 16 0

N.S.

1 1.00 1.00 0.71 0.67 0.67 1.00 0.67 0.67 0.00

time (sec)

N/A 0.024 0.008 0.045 2.928 0.379 0.147 0.188 0.030 0.000

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 50 39 38 38 46 39 49 0

N.S.

1 1.00 1.00 0.78 0.76 0.76 0.92 0.78 0.98 0.00

time (sec)

N/A 0.049 0.020 0.051 2.887 0.412 0.212 0.202 0.131 0.000

Problem 401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 46 39 38 38 46 39 48 0

N.S.

1 1.00 0.92 0.78 0.76 0.76 0.92 0.78 0.96 0.00

time (sec)

N/A 0.048 0.016 0.049 2.954 0.408 0.242 0.183 4.987 0.000

Problem 402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

60 60 56 47 46 46 56 48 52 0

N.S.

1 1.00 0.93 0.78 0.77 0.77 0.93 0.80 0.87 0.00

time (sec)

N/A 0.051 0.014 0.048 2.944 0.418 0.226 0.188 5.010 0.001

Problem 403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

60 60 52 47 46 46 56 48 52 0

N.S.

1 1.00 0.87 0.78 0.77 0.77 0.93 0.80 0.87 0.00

time (sec)

N/A 0.049 0.013 0.050 3.076 0.408 0.232 0.181 4.975 0.001

Problem 404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 50 39 38 38 48 35 46 0

N.S.

1 1.00 1.00 0.78 0.76 0.76 0.96 0.70 0.92 0.00

time (sec)

N/A 0.026 0.007 0.049 2.926 0.406 0.156 0.173 0.086 0.000

Problem 405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 50 39 38 38 48 39 46 0

N.S.

1 1.00 1.00 0.78 0.76 0.76 0.96 0.78 0.92 0.00

time (sec)

N/A 0.043 0.012 0.052 2.948 0.407 0.198 0.179 0.100 0.001

Problem 406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

110 110 100 85 84 115 105 86 100 0

N.S.

1 1.00 0.91 0.77 0.76 1.05 0.95 0.78 0.91 0.00

time (sec)

N/A 0.118 0.108 0.056 2.984 0.408 0.432 0.192 5.098 0.001

Problem 407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

110 110 97 85 84 115 105 86 100 0

N.S.

1 1.00 0.88 0.77 0.76 1.05 0.95 0.78 0.91 0.00

time (sec)

N/A 0.117 0.093 0.049 2.943 0.405 0.468 0.208 0.189 0.001

Problem 408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A A A B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

81 81 122 68 61 91 70 63 52 0

N.S.

1 1.00 1.51 0.84 0.75 1.12 0.86 0.78 0.64 0.00

time (sec)

N/A 0.069 0.569 0.056 3.063 0.398 0.229 0.170 4.923 0.001

Problem 409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

92 92 84 73 74 126 82 76 77 0

N.S.

1 1.00 0.91 0.79 0.80 1.37 0.89 0.83 0.84 0.00

time (sec)

N/A 0.116 0.036 0.058 2.966 0.403 0.422 0.188 0.123 0.001

Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

148 148 119 115 105 256 124 111 120 0

N.S.

1 1.00 0.80 0.78 0.71 1.73 0.84 0.75 0.81 0.00

time (sec)

N/A 0.172 0.085 0.067 2.908 0.416 0.651 0.203 0.190 0.001

Problem 411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

146 146 121 115 105 257 124 111 121 0

N.S.

1 1.00 0.83 0.79 0.72 1.76 0.85 0.76 0.83 0.00

time (sec)

N/A 0.173 0.090 0.066 2.896 0.413 0.647 0.177 5.089 0.001

Problem 412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

142 142 111 111 95 187 116 106 110 0

N.S.

1 1.00 0.78 0.78 0.67 1.32 0.82 0.75 0.77 0.00

time (sec)

N/A 0.148 0.072 0.060 2.983 0.407 0.639 0.180 5.080 0.001

Problem 413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

142 142 111 111 95 187 116 106 111 0

N.S.

1 1.00 0.78 0.78 0.67 1.32 0.82 0.75 0.78 0.00

time (sec)

N/A 0.145 0.074 0.061 2.884 0.420 0.572 0.243 0.189 0.001

Problem 414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

113 113 103 102 87 131 110 89 102 0

N.S.

1 1.00 0.91 0.90 0.77 1.16 0.97 0.79 0.90 0.00

time (sec)

N/A 0.082 0.068 0.062 2.936 0.414 0.529 0.174 0.172 0.001

Problem 415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

131 131 111 102 95 187 119 99 111 0

N.S.

1 1.00 0.85 0.78 0.73 1.43 0.91 0.76 0.85 0.00

time (sec)

N/A 0.148 0.080 0.060 2.986 0.413 0.695 0.177 0.190 0.001

Problem 416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

99 99 91 76 75 75 102 69 91 0

N.S.

1 1.00 0.92 0.77 0.76 0.76 1.03 0.70 0.92 0.00

time (sec)

N/A 0.063 0.037 0.050 2.988 0.414 0.395 0.192 5.096 0.000

Problem 417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

84 84 108 130 118 305 1251 392 115 0

N.S.

1 1.00 1.29 1.55 1.40 3.63 14.89 4.67 1.37 0.00

time (sec)

N/A 0.056 0.228 0.063 1.356 0.440 8.171 0.262 5.135 0.141

Problem 418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

61 61 120 87 78 160 552 196 76 0

N.S.

1 1.00 1.97 1.43 1.28 2.62 9.05 3.21 1.25 0.00

time (sec)

N/A 0.040 0.152 0.063 1.397 0.443 4.269 0.219 5.058 0.105

Problem 419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

41 41 42 45 39 56 163 65 38 0

N.S.

1 1.00 1.02 1.10 0.95 1.37 3.98 1.59 0.93 0.00

time (sec)

N/A 0.023 0.133 0.056 1.293 0.438 2.027 0.222 5.056 0.073

Problem 420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

12 12 12 13 12 17 15 12 12 0

N.S.

1 1.00 1.00 1.08 1.00 1.42 1.25 1.00 1.00 0.00

time (sec)

N/A 0.003 0.002 0.043 1.319 0.432 0.067 0.167 5.011 0.021

Problem 421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F F A F(-1) F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

45 45 45 0 0 66 0 0 -1 45

N.S.

1 1.00 1.00 0.00 0.00 1.47 0.00 0.00 -0.02 1.00

time (sec)

N/A 0.395 0.305 0.691 0.000 0.443 0.000 0.000 0.000 44.616

Problem 422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

24 24 24 21 20 20 0 0 20 0

N.S.

1 1.00 1.00 0.88 0.83 0.83 0.00 0.00 0.83 0.00

time (sec)

N/A 0.053 0.176 0.052 2.126 0.430 0.000 0.000 5.587 7.840

Problem 423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F(-1) F F(-2) F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

103 103 93 0 0 0 0 0 -1 103

N.S.

1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 -0.01 1.00

time (sec)

N/A 0.103 0.203 180.000 0.000 0.000 0.000 0.000 0.000 166.726

Problem 424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

28 28 28 0 0 61 0 228 95 0

N.S.

1 1.00 1.00 0.00 0.00 2.18 0.00 8.14 3.39 0.00

time (sec)

N/A 0.101 0.346 1.082 0.000 0.458 0.000 0.422 5.197 0.163

Problem 425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C A B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

45 45 46 138 77 119 0 237 124 0

N.S.

1 1.00 1.02 3.07 1.71 2.64 0.00 5.27 2.76 0.00

time (sec)

N/A 0.157 0.410 0.575 3.039 0.452 0.000 0.426 5.367 0.415

Problem 426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-2) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

31 31 31 52 59 54 0 115 76 0

N.S.

1 1.00 1.00 1.68 1.90 1.74 0.00 3.71 2.45 0.00

time (sec)

N/A 0.205 0.601 0.171 2.672 0.463 0.000 0.556 5.298 0.432

Problem 427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C B A F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

45 45 41 136 92 88 0 155 106 0

N.S.

1 1.00 0.91 3.02 2.04 1.96 0.00 3.44 2.36 0.00

time (sec)

N/A 0.553 0.888 0.502 3.035 0.465 0.000 0.809 5.640 1.160

[next] [prev] [prev-tail] [front] [up]